GitHunt
/
Developers
Sign In
Back
FL
flandrade
/
lambda-calculus-haskell
The λ-calculus in Haskell
beta-reduction
church-encoding
church-numerals
haskell
lambda-calculus
View on GitHub
flandrade/lambda-calculus-haskell | GitHunt