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