Logo
Explore Help
Register Sign In
Olivier
/
inferno-experimental
2
0
Fork
You've already forked inferno-experimental
1
Code Issues 15 Pull Requests 5 Releases Wiki Activity
Labels Milestones
New Issue
15 Open 27 Closed
Label
Use alt + click/enter to exclude labels All labels
Milestone
All milestones
Assignee
All assignees gasche Olivier
Sort
Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date
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
  • First Previous 1 2 Next Last
    Powered by Gitea Version: 1.17.3 Page: 354ms Template : 31ms
    English
    Deutsch English español français italiano latviešu Nederlands polski Português de Portugal português do Brasil suomi svenska Türkçe čeština български русский српски Українська 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
    Licenses API Website