Commit graph

200 commits

Author SHA1 Message Date
72c323b2c8
fmt 2023-12-04 18:38:57 +01:00
97fc6d3d86
Merge branch 'jalon3' of gaufre.informatique.univ-paris-diderot.fr:Anri/compilation-m1-2023 into jalon3 2023-12-04 18:34:01 +01:00
1edd925ed5
type checking 2023-12-04 18:33:56 +01:00
Nicolas PENELOUX
4805abe904 Apply ? 2023-12-04 18:05:51 +01:00
a01eba04e3
fmt 2023-12-04 17:47:16 +01:00
Nicolas PENELOUX
3237406430 40/111 ??? 2023-11-28 21:32:54 +01:00
c41d137715
no type = fail 2023-11-28 03:29:02 +01:00
9700dddcac
sépare les problèmes pour mieux comprendre parce que là c'est un calvere
les types des fonctions sont pas là pour avoir un truc par défaut mais sont probablement pas définitif
2023-11-28 03:17:03 +01:00
3ee85d7766
fix 2023-11-28 01:59:55 +01:00
29c5b76bca
Merge branch 'master' of gaufre.informatique.univ-paris-diderot.fr:aguatto/compilation-m1-2023 2023-11-28 00:26:16 +01:00
Adrien Guatto
9ad1c54566 Publication du jalon 4 2023-11-27 19:06:21 +01:00
Nicolas PENELOUX
ae2b764821 tentative de compréhension 2023-11-25 16:44:12 +01:00
Nicolas PENELOUX
ad14b5bd46 conflict 2023-11-25 14:33:32 +01:00
Nicolas PENELOUX
79029a186e ? 2023-11-25 14:33:03 +01:00
Adrien Guatto
22819775d2 Cours sur les fermetures 2023-11-22 18:42:37 +01:00
acd881c0dd
mm 2023-11-21 17:33:12 +01:00
e091ae9860
coupé en 2 2023-11-21 17:17:43 +01:00
da6e4547a8
debug 2023-11-20 04:54:40 +01:00
195139e058
fmt 2023-11-20 04:43:27 +01:00
099ac3a73d
Merge branch 'master' of gaufre.informatique.univ-paris-diderot.fr:aguatto/compilation-m1-2023 2023-11-19 16:26:18 +01:00
Adrien Guatto
6d6ef410e3 Cours HobixToHopix 2023-11-16 09:06:51 +01:00
Adrien Guatto
6355f88c0f Jalon 3 2023-11-15 19:08:33 +01:00
6f097cba99
fmt 2023-11-14 17:01:38 +01:00
Nicolas PENELOUX
c7c9b0c351 formats, ajout commentaires et makefile 2023-11-13 17:47:48 +01:00
Nicolas PENELOUX
d7b09be593 72/72, fix for 2023-11-13 16:39:29 +01:00
Nicolas PENELOUX
b1cade7dd4 add PRecord, marche pas mais je l'ai fais quand même 2023-11-13 14:31:17 +01:00
4b32388ae7
correct position? 2023-11-12 19:42:09 +01:00
b92523f677
c bon 2023-11-12 19:38:23 +01:00
be75f1425b
fmt 2023-11-12 19:37:57 +01:00
5f2c67b1b3
67/72 2023-11-12 19:30:41 +01:00
aec53f30e1
fmt 2023-11-12 18:11:36 +01:00
Nicolas PENELOUX
a3c305fb9c 48/72, fix Assign, Apply, add pattern for Wildcard / Literal / Variable / TypeAnnotation / Tagged / Tuple / Or & And 2023-11-11 21:49:31 +01:00
Nicolas PENELOUX
d149e5d1e7 début pattern 2023-11-09 22:38:50 +01:00
Nicolas PENELOUX
67434aab60 Ajout de for ? je sais plus honnêtement le projet me casse la tête 2023-11-09 22:18:57 +01:00
Adrien Guatto
3342201162 Cours typage 2023-11-08 18:23:07 +01:00
Nicolas PENELOUX
095b120963 34/72, ajout assign/while/define et correction Record 2023-11-07 20:32:03 +01:00
Nicolas PENELOUX
97b8205daf ajout IfThenElse/Fun/Field/début d'autres 2023-11-07 14:16:54 +01:00
Nicolas PENELOUX
ff6ab31442 conflict 2023-11-07 12:22:26 +01:00
ce19965127
todo 2023-11-06 20:57:21 +01:00
2546d6d16b
apply 2023-11-06 20:55:37 +01:00
d461396636
function recursive 2023-11-06 20:26:28 +01:00
Nicolas PENELOUX
37bf60305c Merge branch 'jalon2/anri' of gaufre.informatique.univ-paris-diderot.fr:Anri/compilation-m1-2023 into jalon2/anri 2023-11-06 18:04:43 +01:00
Nicolas PENELOUX
e2d2c1c127 ajout Record/Sequence/Ref/Read/Tagged et début Apply 2023-11-06 18:04:31 +01:00
06b41d838a
Merge branch 'master' into jalon2/anri 2023-11-06 17:58:31 +01:00
fc0a2113d4
Merge branch 'master' of gaufre.informatique.univ-paris-diderot.fr:aguatto/compilation-m1-2023 2023-11-06 17:58:05 +01:00
682b727dd2
oops sry 2023-11-05 00:54:46 +01:00
c74809cc73
fmt 2023-11-05 00:52:33 +01:00
Nicolas PENELOUX
7842d4dc14 ajout Tuple et dereference 2023-11-04 10:40:31 +01:00
2961872f99
interpretation max (0/72 :))))) ) 2023-10-30 17:13:59 +01:00
44744cc667
trying to understand the CHARABIA 2023-10-30 16:32:18 +01:00