diff --git a/README.md b/README.md index 5291ec7..3572bec 100644 --- a/README.md +++ b/README.md @@ -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