Olivier
/
inferno-experimental
2
0
Fork 1
Code Issues 15 Pull Requests 6 Releases Wiki Activity
Labels Milestones
New Issue

Essayer de réagencer les modules en trois groupes #18

Open
opened 2 years ago by Olivier · 2 comments
Olivier commented 2 years ago
Owner
There is no content yet.
gasche commented 2 years ago
Collaborator
  • Client
  • Serveur d'Inférence (Unifier, Generalization, MultiEq, Solver)
  • Kit de système de type (Datatype, TyAbbrev)
- Client - Serveur d'Inférence (Unifier, Generalization, MultiEq, Solver) - Kit de système de type (Datatype, TyAbbrev)
gasche commented 1 year ago
Collaborator

On n'est plus trop sûrs que c'est la bonne approche.

On n'est plus trop sûrs que c'est la bonne approche.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
equality-constraint-graph
introduce-rigid
equality-constraint-env-immutable
upstream
equality-constraint-2
issue-64
issue-58
type-equations
equality-constraint
master
type-equations-master
n-ary-fun-printing
abstract
rigid-variable-fix
rigid-variable-rebase
letrn
gadt-language
multi-eq
error-message-rebase
rigid-rebase
error-message
clearer-test-output
ranges
minor-fixes
test-files
alcotest
abbrev_refactoring
rigid-variable
test-framework
qcheck
printer
improve-ast
parser
last_push
frozen-infer
f-datatypes
f-datatypes-wip
match-upstream
variants-upstream
pretty-printer-upstream
new-f-constructs-upstream
frozen-solver2
solver2
match2
frozen-solver
frozen
match
variants
debug
new-api
pretty-printer
co_cps
new-f-constructs
separate-test
type-environment
Labels
Apply labels
Clear labels
No items
No Label
Milestone
Set milestone
Clear milestone
No items
No Milestone
Assignees
Assign users
Clear assignees
No Assignees
2 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#18
Write Preview
Loading…
Cancel
Save
There is no content yet.
Delete Branch '%!s(<nil>)'

Deleting a branch is permanent. It CANNOT be undone. Continue?

No
Yes