A Normaliser for pure and typed lambda-calculus.

Version 2.3


This program provides a useful environment to write programs in pure or typed lambda-calculus. Given a term, the program will compute and print its normal form. This means that, unlike most functional languages, computation is done under function abstractions (or lambdas).

This software might be used for teaching lambda-calculus or just to play with it.

It has some interesting features :

Getting the thing.

You can download

Christophe Raffalli /LAMA, Savoie University / raffalli@univ-savoie.fr