Ce projet est divisé en trois parties principales :
- Syntaxe et Évaluation
- Typage
- Unification
Le fichier typeur rassemble ces différentes parties pour assurer le fonctionnement global du projet.
dune build
dune exec Miniml
syntaxe_eval/: Contient les fichiers liés à la syntaxe et à la sémantique.typage/: Réunit les composants concernant le typage.unification/: Implémente les fonctionnalités d'unification.
typeur.ml: Fichier principal rassemblant les différents parties du projet.Main/: Répertoire contenant les fichiers de tests pour chaque partie du projet.