Lamba Term Inferencer and Interpreter Le but de ce projet est d’implémenter un analyseur de types le lambda calcul simplement typé, puis un interpréteur pour ce même langage.