littlelambda

A tiny untyped lambda calculus evaluatior with Normalization by Evaluation algorithm.

build

ghc -o Main Main.hs

Here we define a lambda term as below

$$ term := x|A\ B|\lambda x.M|let\ x=M;y $$

where the let pattern is a syntactic sugar for the convenience of defining variables.

cat test.txt | Main

It would output the normal form of 1000 in Church encoding

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
.gitignore		.gitignore
Base.hs		Base.hs
Eval.hs		Eval.hs
LICENSE		LICENSE
Main.hs		Main.hs
Parser.hs		Parser.hs
Print.hs		Print.hs
README.md		README.md
README_ZH.md		README_ZH.md
test.txt		test.txt