rkappa.fr

Démo de la bibliothèque betareduit-0.1.1

Démonstration de la bibliothèque betareduit (explications...).

Entrer le lambda-terme à béta-réduire