From 548cbc9900e9b1718a8efa95d6e5f834894d1efe Mon Sep 17 00:00:00 2001 From: Mysaa Date: Tue, 17 May 2022 12:12:33 +0200 Subject: [PATCH] Intro du README --- README.md | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 64fa4d8..3534e7e 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,16 @@ -The Pieuvre Proof Assistant +The Pieuvre™ Proof Assistant =========================== +Ne vous êtes jamais vous dit que votre quotidien était morose ? Que tout ce que vous pourriez prouver dans votre vie ne serait que vain, que vos cerveaux primitifs biaisés vous pousseraient à croire. C'est que vous avez besoin du réconfort de pieuvre ! + +Pieuvre™ est un assitant de preuve à votre service. Lorsque vous doutez, êtes éffrayés par l'incurable finitude de votre esprit, l'ineffable efficacité de Pieuvre™ saura vous réconforter en vous assurant des preuves complètes et sans accroc. + +Bien plus efficace que d'autres gallinacés, l'interface CLI de Pieuvre™ saura convenir à petits et grands. Son design entre post-modernisme et romantisme baroque néo-mérovingien rappellera aux utilisateur·ices les plus avertis les plus grandes heures de l'humanité. + +Allez, tous à vos pieuvres ! + +*L'équipe de Pieuvre™ n'est pas responsable des dommages occasionnés par les réalisations philosophiques causées aux utilisateur·ices de par l'utilisation du programme* + # Utilisation ## Option `typecheck` @@ -19,3 +29,5 @@ L'option `typecheck` peut être testée avec les fichiers tests dans `tests/type ### Samy Fonctions de manipulation des λ-termes (pieuvre.ml) Typecheck +Erreurs lors des tactiques. +\/ et /\