2 ms·It's not about rewriting things in Haskell but about using CT to reason about architectures.by adamnemecek 4y agoIt's not about rewriting things in Haskell but about using CT to reason about architectures.