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
  • API avec types profonds
    #24 opened 2 years ago by gasche
    1
  • rebaser la branche de Carine sur l'upstream de François
    #26 opened 2 years ago by gasche
  • Variables wildcard
    #30 opened 2 years ago by Olivier
    2
  • ne pas stocker l'apostrophe des variables de type dans l'AST
    #37 opened 2 years ago by gasche
  • grammaire: `'a` ou `a` pour les variables de types ?
    #28 opened 2 years ago by gasche
  • Un combinateur pour gérer les erreurs
    #39 opened 2 years ago by gasche
  • abbréviations: rentrer client/structure.resolve dans le serveur
    #44 opened 1 year ago by gasche
    1
  • Sortie plus claire
    #45 opened 1 year ago by Olivier
    2
  • Moins d'environnements dans le solveur, plus d'environnements dans hastype
    #25 opened 2 years ago by gasche
    1
  • Essayer de réagencer les modules en trois groupes
    #18 opened 2 years ago by Olivier
    2