gentoo.mahdi.cz
dev-haskell
:glambda
A simply typed lambda calculus interpreter, written with GADTs
https://github.com/goldfirere/glambda
glambda-1.0.2
BSD
download
~amd64
haskell