Hacker News new | ask | show | jobs
by adamnemecek 1206 days ago
It's not about rewriting things in Haskell but about using CT to reason about architectures.