|
|
b6de429509
|
Correction des erreurs d'Adrien.
|
2022-05-19 23:54:52 +02:00 |
|
Adrien Vannson
|
721d1ccdf0
|
README
|
2022-05-19 23:44:16 +02:00 |
|
Adrien Vannson
|
be3070db17
|
Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre
|
2022-05-19 23:42:09 +02:00 |
|
Adrien Vannson
|
81d53dc7a6
|
README
|
2022-05-19 23:42:01 +02:00 |
|
|
|
47e41d14ef
|
Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre
|
2022-05-19 23:37:26 +02:00 |
|
|
|
12b98d6ccc
|
Complètion du README.
|
2022-05-19 23:34:52 +02:00 |
|
Adrien Vannson
|
68887d6482
|
README
|
2022-05-19 21:51:37 +02:00 |
|
Adrien Vannson
|
2d6028e010
|
Style
|
2022-05-19 21:50:57 +02:00 |
|
Adrien Vannson
|
819ce2d6de
|
Petites modifs
|
2022-05-18 16:44:34 +02:00 |
|
Adrien Vannson
|
d631cd3e93
|
Intros
|
2022-05-18 16:36:02 +02:00 |
|
Adrien Vannson
|
2de70d29a7
|
README
|
2022-05-18 11:23:20 +02:00 |
|
Adrien Vannson
|
d73d6210e2
|
Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre
|
2022-05-18 11:22:15 +02:00 |
|
Adrien Vannson
|
aa0b71bfc9
|
README
|
2022-05-18 11:20:39 +02:00 |
|
|
|
245133b276
|
Merge remote-tracking branch 'origin/master'
|
2022-05-18 00:53:28 +02:00 |
|
|
|
d8f791328d
|
Ajout de True et de la tactique exact.
|
2022-05-18 00:53:01 +02:00 |
|
Adrien Vannson
|
bbfdad1b78
|
Irrefutabilite de la loi de Peirce
|
2022-05-17 17:26:01 +02:00 |
|
Adrien Vannson
|
0f7a24ae49
|
Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre
|
2022-05-17 14:00:25 +02:00 |
|
Adrien Vannson
|
5d65bcdc36
|
Et et ou
|
2022-05-17 13:59:35 +02:00 |
|
|
|
e7c676b5b0
|
Merge remote-tracking branch 'origin/master'
|
2022-05-17 12:13:20 +02:00 |
|
|
|
548cbc9900
|
Intro du README
|
2022-05-17 12:12:33 +02:00 |
|
Adrien Vannson
|
a03a5f5504
|
log.8pus
|
2022-05-17 12:08:25 +02:00 |
|
Adrien Vannson
|
7b69264e3f
|
Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre
|
2022-05-17 11:43:50 +02:00 |
|
Adrien Vannson
|
70fa9659be
|
Orthographe
|
2022-05-17 11:43:45 +02:00 |
|
Adrien Vannson
|
41c2b27823
|
README reduce
|
2022-05-17 11:38:40 +02:00 |
|
Adrien Vannson
|
d78428c831
|
README alpha
|
2022-05-17 11:34:59 +02:00 |
|
|
|
b3d949f764
|
Merge remote-tracking branch 'origin/master'
|
2022-05-17 11:34:04 +02:00 |
|
|
|
dcd0b8f2d4
|
Ajout des jolies erreur et correction de la β-reduction.
|
2022-05-17 11:33:12 +02:00 |
|
Adrien Vannson
|
8b73c14eeb
|
README
|
2022-05-17 11:29:07 +02:00 |
|
Adrien Vannson
|
9d480afdb6
|
README
|
2022-05-17 11:27:58 +02:00 |
|
Adrien Vannson
|
bac5f87b4f
|
README typecheck
|
2022-05-17 11:26:34 +02:00 |
|
Adrien Vannson
|
425951b1b9
|
Typecheck
|
2022-05-17 11:23:54 +02:00 |
|
Adrien Vannson
|
d15da6c958
|
Add space
|
2022-05-17 10:40:27 +02:00 |
|
Adrien Vannson
|
3c95807b7b
|
Irréfutabilité du tiers exclus
|
2022-05-16 23:41:30 +02:00 |
|
Adrien Vannson
|
97e0ead5fe
|
Add spaces
|
2022-05-16 23:27:10 +02:00 |
|
Adrien Vannson
|
e706c4bb9d
|
Add comment
|
2022-05-16 23:25:49 +02:00 |
|
Adrien Vannson
|
7439ae817a
|
Remove typecheck
|
2022-05-16 23:25:40 +02:00 |
|
Adrien Vannson
|
b5cad5149c
|
Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre
|
2022-05-16 23:19:23 +02:00 |
|
Adrien Vannson
|
7aba10f5fc
|
Typecheck
|
2022-05-16 23:19:18 +02:00 |
|
|
|
627214787e
|
Ajout de Et, ou et des tests associés.
|
2022-05-16 04:01:23 +02:00 |
|
|
|
905b86af2d
|
Correction de l'α-conversion.
|
2022-05-11 22:36:31 +02:00 |
|
Adrien Vannson
|
09ebe6339e
|
Test d'alpha equivalence
|
2022-05-11 22:20:29 +02:00 |
|
Adrien Vannson
|
50e0046617
|
Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre
|
2022-05-11 21:29:29 +02:00 |
|
Adrien Vannson
|
f60d98ea78
|
Lecture de lambda-termes et reduce
|
2022-05-11 21:29:20 +02:00 |
|
|
|
92e1371027
|
Merge remote-tracking branch 'origin/master'
|
2022-05-10 15:25:38 +02:00 |
|
|
|
241a44528e
|
Ajout de la β-réduction du λ-terme final.
|
2022-05-10 15:24:42 +02:00 |
|
Adrien Vannson
|
359d7333f5
|
Commentaire
|
2022-05-10 15:20:50 +02:00 |
|
Adrien Vannson
|
2ce406f7f2
|
Test 6
|
2022-05-10 15:15:59 +02:00 |
|
Adrien Vannson
|
d451f1ba72
|
Test 1
|
2022-05-10 15:13:03 +02:00 |
|
|
|
98a9e6964f
|
Merge remote-tracking branch 'origin/master'
|
2022-05-10 15:00:38 +02:00 |
|
|
|
f1f890058f
|
Merge branch 'cut'
|
2022-05-10 15:00:19 +02:00 |
|
