lukeg101/lplzoo

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

语言：Haskell · GitHub 星标：37 · Fork：2

话题：haskell-learning · lambda-calculus · language-design · quickcheck · type-theory

在 GitHub 上查看原仓库