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

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

More Web Proxy on the site http://driver.im/

xngns / lennart-lambda Public

forked from steshaw/lennart-lambda

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

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

0 stars 10 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

About

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

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

Haskell 89.6%
TeX 6.0%
Makefile 3.3%
Awk 1.1%

0