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