85 得分

如何阅读这个 GHC 核心的“证明”？

77 得分

Can Haskell functions be proved/model-checked/verified with correctness properties?