lambda-calculus topic
List
lambda-calculus repositories
Lambada
16
Stars
3
Forks
Watchers
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
lambda-mountain
15
Stars
0
Forks
Watchers
Compact Typed Assembler (5K SLOC)