Lamb 🐑

Reduction of untyped lambda terms written in Haskell.

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
Alpha.hs		Alpha.hs
Beta.hs		Beta.hs
Church.hs		Church.hs
LICENSE		LICENSE
Lamb.hs		Lamb.hs
Lambda.hs		Lambda.hs
README.md		README.md

Provide feedback