TIlC

The Interactive Lambda-calculus Tracer

 

Presentation

Features Highlights

Documentation

Download

About

 

 

About

TILC is the result of the diploma thesis of David Ruíz as student of “Enginyeria Tčcnica en Informātica de Sistemes” at the Universitat de Girona. It has been supervised by Mateu Villaret, Associate Lecturer of “Departament d’Informātica I Matemātica Aplicada” of Universitat de Girona.

Comments are welcome, please use the following addresses:

Links of the tools used

  • Happy Homepage(A parser generator for Haskell)

There is still a lot of work to do… so, keep tunned!!!

  • applicative-order strategy,
  • de Bruijn representation,
  • adding types and inference algorithm illustrations
  • etc.