はてなブックマーク

This system implements and visualizes various reduction strategies for the pure untyped lambda calculus. It is intended as a pedagogical tool, and as an experiment in the programming of visual user interfaces using Standard ML and HTML. Start the lambda calculus reducer. Here is the implementation source code as a gzipped tar file. There is an old draft report describing the implementation, in Po