Interpréteur Lamba Calcul rédigé en OCaml. Exercice réalisé en 2015 à l'Université de Strasbourg, dirigé par Mr Pascal Schreck.
Lamda Calculus Interpretor, written in OCaml. Exercise realised in 2015 at the University of Strasbourg, under the direction of Mr Pascal Schreck.
Plusieurs tests et exemples sont compris dans le code source. Les commandes d'affichage de ces résultats sont commentées. Vous êtes libres de les manipuler et les changer selon vos envies/besoins.
Many tests and examples are available in the source code. Their output print commands are commented. You are free to manipulate and modify them as you wish/need.
Auteur/Author : Martin Genet