GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ lukeg101
1 open source projects by lukeg101
[ Open user page on Github ]
1.
lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
✭ 32
haskell
Makefile
lambda-calculus
type-theory
quickcheck
language-design
haskell-learning
1-1
of
1
user projects
