TIlC

The Interactive Lambda-calculus Tracer

Presentation

Features Highlights

Documentation

Downloads

Just unzip the file into a folder and run Gui.exe.

Executable Versions of TILC:

Windows platform. Download!
Linux patform. (Coming soon)

Source code Coming soon