Projet Tas

Ce projet est divisé en trois parties principales :

1. Syntaxe et Évaluation
2. Typage
3. Unification

Le fichier typeur rassemble ces différentes parties pour assurer le fonctionnement global du projet.

Pour éxécuté le projet Dans le sous répértoire Miniml : Lambda_dune/Miniml

dune build 

dune exec Miniml 

Structure du Projet

• 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.

Fichiers Inclus

• typeur.ml : Fichier principal rassemblant les différents parties du projet.
• Main/ : Répertoire contenant les fichiers de tests pour chaque partie du projet.