GitHub - bavardage/mu2: A lamba calculus implemented in haskell.

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
Main.hs		Main.hs
Mu.lhs		Mu.lhs
Mu2.lhs		Mu2.lhs
Mu2ConvenienceImplementations.hs		Mu2ConvenienceImplementations.hs
stdlib.mu2		stdlib.mu2
testprogram1.mu2		testprogram1.mu2

About

A lamba calculus implemented in haskell.

ardoris.wordpress.com

No releases published

No packages published