Lambda Demo
This is an online demonstration of my dependent-type lambda interpreter. It is not yet well-tested, and many functions may not work properly, but it may still be interesting to play around with the purest possible computation system.
This is an online demonstration of my dependent-type lambda interpreter. It is not yet well-tested, and many functions may not work properly, but it may still be interesting to play around with the purest possible computation system.