From d78428c831dd8c743b2ea17c6b99fc4571d967c9 Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Tue, 17 May 2022 11:34:59 +0200
Subject: [PATCH] README alpha

---
 README.md                                                 | 8 ++++++++
 tests/lambda-terms/{alpha-eq.lam => alpha-eq.lams}        | 0
 .../lambda-terms/{alpha-not-eq.lam => alpha-not-eq.lams}  | 0
 3 files changed, 8 insertions(+)
 rename tests/lambda-terms/{alpha-eq.lam => alpha-eq.lams} (100%)
 rename tests/lambda-terms/{alpha-not-eq.lam => alpha-not-eq.lams} (100%)

diff --git a/README.md b/README.md
index 64fa4d8..b99cd29 100644
--- a/README.md
+++ b/README.md
@@ -10,11 +10,19 @@ L'option `typecheck` peut être testée avec les fichiers tests dans `tests/type
 ./pieuvre -typecheck tests/typecheck/wrong-type
 ```
 
+## Option `alpha`
+L'option `alpha` vérifie si deux lambda-termes sont alpha-équivalents. Elle s'utilise de la manière suivante :
+```
+./pieuvre -alpha tests/lambda-terms/alpha-eq.lams
+./pieuvre -alpha tests/lambda-terms/alpha-not-eq.lams
+```
+
 ## Note d'implémentation
 
 ## Répartition du travail
 
 ### Adrien
+- Option `typecheck`
 
 ### Samy
 Fonctions de manipulation des λ-termes (pieuvre.ml)
diff --git a/tests/lambda-terms/alpha-eq.lam b/tests/lambda-terms/alpha-eq.lams
similarity index 100%
rename from tests/lambda-terms/alpha-eq.lam
rename to tests/lambda-terms/alpha-eq.lams
diff --git a/tests/lambda-terms/alpha-not-eq.lam b/tests/lambda-terms/alpha-not-eq.lams
similarity index 100%
rename from tests/lambda-terms/alpha-not-eq.lam
rename to tests/lambda-terms/alpha-not-eq.lams