This website requires JavaScript.
Explore
Help
Sign In
Olivier
/
inferno-experimental
Watch
2
Star
0
Fork
You've already forked inferno-experimental
1
Code
Issues
15
Pull Requests
6
Releases
Wiki
Activity
Labels
Milestones
New Issue
8 Open
11 Closed
Label
Use
alt
+
click/enter
to exclude labels
No Label
All labels
Milestone
All milestones
No milestones
Project
All projects
No project
Author
All authors
Assignee
No assignee
All assignees
gasche
Olivier
Sort
Newest
Oldest
Recently updated
Least recently updated
Most commented
Least commented
Nearest due date
Farthest due date
8 Open
11 Closed
Close
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
gasche
Olivier
[FTypeChecker] More informative error message (and more robust code) when typechecking variants.
#64
opened
2023-01-27 14:44:45 +01:00
by
Olivier
[F.ml] Supprimer le terme Proj
#62
opened
2023-01-18 17:17:59 +01:00
by
Olivier
[FTypeChecker] Implémentation plus efficace de l'égalité entre types
#59
opened
2022-09-10 17:39:09 +02:00
by
Olivier
[FTypeChecker] Réécrire le typage des patterns pour ne pas avoir à utiliser [concat]
#58
opened
2022-09-07 12:36:32 +02:00
by
Olivier
Fix printing of variant types
#56
opened
2022-07-28 11:07:32 +02:00
by
Olivier
Sortie plus claire
#45
opened
2021-10-19 11:27:02 +02:00
by
Olivier
2
Variables wildcard
#30
opened
2021-05-02 13:17:41 +02:00
by
Olivier
2
Essayer de réagencer les modules en trois groupes
#18
opened
2021-04-06 15:08:25 +02:00
by
Olivier
2