Commits · main · Hector Suzanne / autobill

05 Sep, 2022 3 commits
- Version 0.0.2 · 47b68cfe
  Hector Suzanne authored Sep 05, 2022
  
  47b68cfe
- Eta-réduction des binds · fc3d45b3
  Hector Suzanne authored Sep 05, 2022
  
  fc3d45b3
- Meilleure CLI · 169ffb5a
  Hector Suzanne authored Sep 05, 2022
  
  169ffb5a
03 Sep, 2022 1 commit
- Résolu un bug de simplification · 40cf0711
  Hector Suzanne authored Sep 03, 2022
  
  40cf0711
31 Aug, 2022 2 commits
- Pack et Spec, finis · ac543c8e
  Hector Suzanne authored Aug 31, 2022
  
  ac543c8e
- Bug fixes · 48f8c408
  Hector Suzanne authored Aug 31, 2022
  
  48f8c408
29 Aug, 2022 2 commits
- Ca marche ! · 3c56b219
  Hector Suzanne authored Aug 29, 2022
  
  3c56b219
- Sauvegarde · 49095f50
  Hector Suzanne authored Aug 29, 2022
  
  49095f50
27 Aug, 2022 2 commits
- Inférence de type sur Spec · f0d618b7
  Hector Suzanne authored Aug 27, 2022
  
  f0d618b7
- Pack et Spec · 2bba6f39
  Hector Suzanne authored Aug 27, 2022
  
  2bba6f39
24 Aug, 2022 2 commits
- Sortes des types dans le moteur d'inférence · 9b793547
  Hector Suzanne authored Aug 25, 2022
  
  9b793547
- Points fixes, meilleure inférence · b8a4e616
  Hector Suzanne authored Aug 24, 2022
  
  b8a4e616
23 Aug, 2022 2 commits
- Sauvegarde · 5733c6ea
  Hector Suzanne authored Aug 23, 2022
  
  5733c6ea
- La fonction identité type · 07ea6474
  Hector Suzanne authored Aug 23, 2022
  
  07ea6474
22 Aug, 2022 8 commits
- Inférence de type ! · 17ba76c4
  Hector Suzanne authored Aug 23, 2022
  
  17ba76c4
- Merge remote-tracking branch 'origin-lip6/main' · 07fd7328
  Hector Suzanne authored Aug 22, 2022
  
  07fd7328
- Elaboration des programmes entiers · 47b995a2
  Hector Suzanne authored Aug 22, 2022
  
  47b995a2
- Elaboration des programmes entiers · ce4e0f00
  Hector Suzanne authored Aug 22, 2022
  
  ce4e0f00
- Correction des annotation de types pour les commandes · 6f670e5c
  Hector Suzanne authored Aug 22, 2022
  
  6f670e5c
- Elaboration des patterns · 3cc01007
  Hector Suzanne authored Aug 22, 2022
  
  3cc01007
- Rafraichissement des définitions des types, cons. et destr. · 9d1cf698
  Hector Suzanne authored Aug 22, 2022
  
  9d1cf698
- Nettoyage de code mort · 7800294f
  Hector Suzanne authored Aug 22, 2022
  
  7800294f
21 Aug, 2022 8 commits
- Refactoring · e9d58661
  Hector Suzanne authored Aug 21, 2022
  
  e9d58661
- Merge remote-tracking branch 'origin-lip6/main' · 65ea5b1a
  Hector Suzanne authored Aug 21, 2022
  
  65ea5b1a
- Sauvegarde · d55cd61b
  Hector Suzanne authored Aug 21, 2022
  
  d55cd61b
- Sauvegarde · 9a11d3bb
  Hector Suzanne authored Aug 21, 2022
  
  9a11d3bb
- Refactoring des définitions de constructeurs · 6dd213b8
  Hector Suzanne authored Aug 21, 2022
  
  6dd213b8
- Première moitié d'élaborateur ordre 1 · 52e57153
  Hector Suzanne authored Aug 21, 2022
  
  52e57153
- Nettoyage · ad9b8112
  Hector Suzanne authored Aug 21, 2022
  
  ad9b8112
- Ajout d'une annotation de type sur les commandes · c8ed5d00
  Hector Suzanne authored Aug 21, 2022
  
  c8ed5d00
18 Aug, 2022 1 commit
- Intégration du moteur d'inférence Dammas-Milller · ace05f52
  Hector Suzanne authored Aug 18, 2022
  
  ace05f52
14 Aug, 2022 2 commits
- Avec des tests en plus et des bugs en moins · bb5c9bd3
  Hector Suzanne authored Aug 14, 2022
  
  bb5c9bd3
- Sauvegarde · 7a7b8f13
  Hector Suzanne authored Aug 14, 2022
  
  7a7b8f13
09 Aug, 2022 2 commits
- Zero et Top · 3a8e7723
  Hector Suzanne authored Aug 09, 2022
  
  3a8e7723
- Formes normales (pas typées, pas testées) · 6ee33de7
  Hector Suzanne authored Aug 09, 2022
  
  6ee33de7
08 Aug, 2022 1 commit
- Cleanup et constructeurs n-aires · 00e7ec53
  Hector Suzanne authored Aug 08, 2022
  
  00e7ec53
14 Jun, 2022 1 commit
- MàJ des définitions dans le code source utilisateur · 90fc9f96
  Hector Suzanne authored Jun 14, 2022
  
  90fc9f96
13 Jun, 2022 1 commit
- Premier bout d'interpréteur · bcfba35c
  Hector Suzanne authored Jun 13, 2022
  
  bcfba35c
11 Jun, 2022 1 commit
- Inférence de sorte fait · dc5b1615
  Hector Suzanne authored Jun 11, 2022
  
  dc5b1615
09 Jun, 2022 1 commit
- Formatage · d4bcebda
  Hector Suzanne authored Jun 10, 2022
  
  d4bcebda