TIlC

The Interactive Lambda-calculus Tracer

 

Presentation

Features Highlights

Documentation

Download

About

 

Description

TILC aims to be a friendly visual tool for teaching/studying main basic  pure untyped lambda-calculus concepts:

  • Lambda-term structure
    • Notation
    • Variable occurrences nature
    • Lambda-binder scope
    • Beta-redexes identification
  • Lambda-calculus operational semantics
    • Beta-reduction on demand
    • Normal Order Reduction Strategies
  • Untyped Lambda-Calculus as a programming language
    • Bools, naturals, fixed-point combinators ...


The keypoint is that it deals with a graphical presentation of the parse-tree of lambda-terms.

It is written in Haskell and wxHaskell and you can freely download it (oops, source code coming soon).