This commit is contained in:
Adrien Vannson
2022-05-17 11:27:58 +02:00
parent bac5f87b4f
commit 9d480afdb6
+2 -2
View File
@@ -10,9 +10,9 @@ L'option `typecheck` peut être testée avec les fichiers tests dans `tests/type
./pieuvre -typecheck tests/typecheck/wrong-type ./pieuvre -typecheck tests/typecheck/wrong-type
``` ```
# Note d'implementation ## Note d'implémentation
# Répartition du travail ## Répartition du travail
### Adrien ### Adrien