steshaw / lennart-lambda

λλλλ Lennart Augustsson's λ-calculus cooked four ways
52Updated 7 years ago

Related projects

Alternatives and complementary repositories for lennart-lambda