From 41c2b27823415724dfa76cd916ed121e8524fdd0 Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Tue, 17 May 2022 11:38:40 +0200
Subject: [PATCH] README reduce

---
 README.md                     | 6 ++++++
 tests/lambda-terms/lambda.lam | 2 ++
 2 files changed, 8 insertions(+)
 create mode 100644 tests/lambda-terms/lambda.lam

diff --git a/README.md b/README.md
index b99cd29..5291ec7 100644
--- a/README.md
+++ b/README.md
@@ -17,6 +17,12 @@ L'option `alpha` vérifie si deux lambda-termes sont alpha-équivalents. Elle s'
 ./pieuvre -alpha tests/lambda-terms/alpha-not-eq.lams
 ```
 
+## Option `reduce`
+L'option `alpha` vérifie si deux lambda-termes sont alpha-équivalents. Elle s'utilise de la manière suivante :
+```
+./pieuvre -reduce tests/lambda-terms/lambda.lam
+```
+
 ## Note d'implémentation
 
 ## Répartition du travail
diff --git a/tests/lambda-terms/lambda.lam b/tests/lambda-terms/lambda.lam
new file mode 100644
index 0000000..c61560b
--- /dev/null
+++ b/tests/lambda-terms/lambda.lam
@@ -0,0 +1,2 @@
+fun a: A => fun f: A -> A =>
+	(fun x: A => f (f (f a))) a