TIl
C
The
Interactive Lambda-
calculus
Tracer
Presentation
Features
Highlights
Documentation
Download
About
Documentation
Documents
about
TILC:
User Manual (
pdf
).
Open!
(
coming
soon
)
Manual d’usuari.
ajuda.pdf
(in
catalan
)
System
description
of TILC (to
appear
in PROLE’08):
tilc.pdf