Olivier
/
inferno-experimental
2
0
Fork 1
Code Issues 15 Pull Requests 5 Releases Wiki Activity
Labels Milestones
New Issue
15 Open 27 Closed
Close
Label
Milestone
No milestone
Projects
No project
Assignee
No assignee
gasche
Olivier
  • Sortie plus claire
    #45 opened 1 year ago by Olivier
    2
  • Variables wildcard
    #30 opened 2 years ago by Olivier
    2
  • Essayer de réagencer les modules en trois groupes
    #18 opened 2 years ago by Olivier
    2
  • abbréviations: rentrer client/structure.resolve dans le serveur
    #44 opened 1 year ago by gasche
    1
  • Moins d'environnements dans le solveur, plus d'environnements dans hastype
    #25 opened 2 years ago by gasche
    1
  • API avec types profonds
    #24 opened 2 years ago by gasche
    1
  • [FTypeChecker] More informative error message (and more robust code) when typechecking variants.
    #64 opened 2 days ago by Olivier
  • [F.ml] Supprimer le terme Proj
    #62 opened 2 weeks ago by Olivier
  • [FTypeChecker] Implémentation plus efficace de l'égalité entre types
    #59 opened 5 months ago by Olivier
  • [FTypeChecker] Réécrire le typage des patterns pour ne pas avoir à utiliser [concat]
    #58 opened 5 months ago by Olivier