A Normaliser for pure and typed lambda-calculus.

Version 2.3


Overview

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