From 68887d6482b15d22b2b3927f75ed10b6037bd652 Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Thu, 19 May 2022 21:51:37 +0200
Subject: [PATCH] README

---
 README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/README.md b/README.md
index 79052f8..c07fc00 100644
--- a/README.md
+++ b/README.md
@@ -34,8 +34,6 @@ L'option `alpha` vérifie si deux lambda-termes sont alpha-équivalents. Elle s'
 ./pieuvre -reduce tests/lambda-terms/lambda.lam
 ```
 
-## Notes d'implémentation
-
 ## Répartition du travail
 
 ### Adrien