Orthographe

2022-05-17 11:43:45 +02:00
parent 41c2b27823
commit 70fa9659be
1 changed files with 1 additions and 1 deletions
@@ -23,7 +23,7 @@ L'option `alpha` vérifie si deux lambda-termes sont alpha-équivalents. Elle s'
 ./pieuvre -reduce tests/lambda-terms/lambda.lam
 ```

-## Note d'implémentation
+## Notes d'implémentation

 ## Répartition du travail