From 721d1ccdf084f7ab76f0cfeeb17c647ea238aafd Mon Sep 17 00:00:00 2001 From: Adrien Vannson Date: Thu, 19 May 2022 23:44:16 +0200 Subject: [PATCH] README --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 52c1c9e..0822522 100644 --- a/README.md +++ b/README.md @@ -40,10 +40,10 @@ L'option `alpha` vérifie si deux lambda-termes sont alpha-équivalents. Elle s' ### 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. +- `lexer.mll` et `parser.mly` contiennent les fichiers pour le parser `ocamlyacc` +- `main.ml` contient le code gérant la ligne de commande, la construction du lambda-terme en appelant les fonctions de `pieuvre.ml` - `pieuvre.ml` contient toutes les fonctions de manipulation de λ-termes. -- `structs.ml` contient l'ensemble des structures de données, genre λ-terme, environnements, types. +- `structs.ml` contient l'ensemble des structures de données : λ-terme, environnements, types - `tactic.ml` contient la structure de définition des tactiques. ## Répartition du travail