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