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

steshaw / lennart-lambda Public

Notifications You must be signed in to change notification settings
Fork 11
Star 53

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

53 stars 11 forks Branches Tags Activity

Notifications

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