sweirich/pi-forall

A demo implementation of a simple dependently-typed language

语言：Haskell · GitHub 星标：632 · Fork：100

在 GitHub 上查看原仓库