A work-in-progress implementation of Lambda Calculus - Alpha and Beta reduction is buggy
Posted: 10 years ago by Steve Goguen