|
|
e8b6a8b686
|
Remove tests
|
2024-05-20 20:56:26 +02:00 |
|
|
|
8b3b135184
|
Fix Undo try
|
2024-05-20 15:03:50 +02:00 |
|
|
|
6313af9346
|
Add more bad 8pus tests
|
2024-05-20 14:52:19 +02:00 |
|
|
|
b17a1c3662
|
Add more bad 8pus tests
|
2024-05-20 11:13:28 +02:00 |
|
|
|
d40f4081c4
|
Add bad 8pus files
|
2024-05-20 10:57:55 +02:00 |
|
|
|
2c01cab197
|
Add tests.sh
|
2024-05-20 09:57:28 +02:00 |
|
Marwan
|
075aa267a7
|
tests de l'alpha équiv, commentaire de mon code
|
2024-05-19 20:44:07 +02:00 |
|
|
|
b4ba9432cd
|
Add a few tests
|
2024-05-14 15:23:58 +02:00 |
|
Marwan
|
544a8bf093
|
on rend l'alpha conversion lisible en gardant les noms de variables
|
2024-04-25 04:33:42 +02:00 |
|
Marwan
|
a87e2293b7
|
résolution des conflits
|
2024-04-25 04:20:12 +02:00 |
|
|
|
0b241c72c4
|
-alpha: take one input separated by &
|
2024-04-16 14:24:06 +02:00 |
|
|
|
39ff2dbffc
|
Add arguments to main.ml
|
2024-04-16 11:40:08 +02:00 |
|
Marwan
|
bd6dedc074
|
typage du exfalso, etc
|
2024-04-16 10:07:09 +02:00 |
|
Marwan
|
0b67d9a5eb
|
types flèches et affichage des types
|
2024-04-15 12:07:49 +02:00 |
|
|
|
8ba594ee3d
|
Affichage des expressions
|
2024-04-09 11:30:52 +02:00 |
|
Marwan
|
e2e80bf55c
|
initial commit
|
2024-04-09 11:09:33 +02:00 |
|
