Gabriella439/Haskell-Morte-Library

A bare-bones calculus-of-constructions

语言：Haskell · GitHub 星标：385 · Fork：24

在 GitHub 上查看原仓库