This project is a compilator for "Petit-scala", as defined in https://www.lri.fr/~filliatr/ens/compil/projet/sujet1-v1.pdf. This is a class project for the "Compilation" course by J-C. Filliâtre at the ENS Ulm.
This project is a compilator for "Petit-scala", as defined in https://www.lri.fr/~filliatr/ens/compil/projet/sujet1-v1.pdf. This is a class project for the "Compilation" course by J-C. Filliâtre at the ENS Ulm.