GitHub - steshaw/lennart-lambda: λλλλ Lennart Augustsson's λ-calculus cooked four ways

steshaw / lennart-lambda Public

λλλλ Lennart Augustsson's λ-calculus cooked four ways

Name		Name	Last commit message	Last commit date
Latest commit History 49 Commits
.gitignore		.gitignore
DeBruijn.lhs		DeBruijn.lhs
DeBruijnC.lhs		DeBruijnC.lhs
HOAS.lhs		HOAS.lhs
IdInt.lhs		IdInt.lhs
Lambda.lhs		Lambda.lhs
Main.lhs		Main.lhs
Makefile		Makefile
Misc.lhs		Misc.lhs
Simple.lhs		Simple.lhs
Unique.lhs		Unique.lhs
bird2code.awk		bird2code.awk
package.yaml		package.yaml
stack.yaml		stack.yaml
timing.lam		timing.lam
top.pdf		top.pdf
top.tex		top.tex

steshaw/lennart-lambda