DanilaFe/maypop

Dependently typed programming language implemented in Literate Haskell.

语言：Haskell · GitHub 星标：7 · Fork：0

话题：dependent-types · haskell · inference · language · monad · monad-transformers · programming-language

在 GitHub 上查看原仓库