Calculus of Constructions 実装 Calculus of Constructions in 60 lines of OCaml Haskell version 短いコードでコアなロジックを表現したもの Morte CoCの機能を最小限に抑えたHaskellでの実装