From 12b98d6ccc061a8a593d22cc875a4651eaab2d5f Mon Sep 17 00:00:00 2001 From: Mysaa Date: Thu, 19 May 2022 23:34:52 +0200 Subject: [PATCH] =?UTF-8?q?Compl=C3=A8tion=20du=20README.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/README.md b/README.md index 79052f8..3b4717f 100644 --- a/README.md +++ b/README.md @@ -36,6 +36,16 @@ L'option `alpha` vérifie si deux lambda-termes sont alpha-équivalents. Elle s' ## Notes d'implémentation +- Les λ-termes à trous sont représentés par leurs fonctions de remplissage. À la liste des λ-termes à mettre dans les trous, on associe le λ-terme complété. + +### Découpage des fichiers + +- `lexer.mll` et `parser.mly` les fichiers pour le parser `ocamlyacc` +- `main.ml` contient le code gérant la ligne de commande, le prompt et l'appel à la librairie. +- `pieuvre.ml` contient toutes les fonctions de manipulation de λ-termes. +- `structs.ml` contient l'ensemble des structures de données, genre λ-terme, environnements, types. +- `tactic.ml` contient la structure de définition des tactiques. + ## Répartition du travail ### Adrien