evertedsphere/how-to-implement-dependent-type-theory

A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml

语言：Haskell · GitHub 星标：38 · Fork：1

在 GitHub 上查看原仓库