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
  • [FTypeChecker] More informative error message (and more robust code) when typechecking variants.
    #64 opened 2 days ago by Olivier
  • [FTypeChecker] Réécrire le typage des patterns pour ne pas avoir à utiliser [concat]
    #58 opened 5 months 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
  • Fix printing of variant types
    #56 opened 6 months ago by Olivier
  • Essayer de réagencer les modules en trois groupes
    #18 opened 2 years ago by Olivier
    2
  • Moins d'environnements dans le solveur, plus d'environnements dans hastype
    #25 opened 2 years ago by gasche
    1
  • Sortie plus claire
    #45 opened 1 year ago by Olivier
    2
  • abbréviations: rentrer client/structure.resolve dans le serveur
    #44 opened 1 year ago by gasche
    1
  • Un combinateur pour gérer les erreurs
    #39 opened 2 years ago by gasche
  • First Previous 1 2 Next Last
    Powered by Gitea Version: 1.17.3 Page: 115ms Template : 26ms
    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