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).
|