This website works better with JavaScript.
Explore
Help
Register
Sign In
Olivier
/
inferno-experimental
Watch
2
Star
0
Fork
You've already forked inferno-experimental
1
Code
Issues
15
Pull Requests
5
Releases
Wiki
Activity
Labels
Milestones
Search
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