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

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

New Issue
Open
opened 2021-04-06 15:08:25 +02:00 by Olivier · 2 comments
Olivier commented 2021-04-06 15:08:25 +02:00
Owner
Copy Link
No description provided.
gasche commented 2021-04-06 15:16:08 +02:00
Collaborator
Copy Link
  • 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 2022-02-09 11:52:13 +01:00
Collaborator
Copy Link

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
master
equality-constraint-graph
introduce-rigid
equality-constraint-env-immutable
upstream
equality-constraint-2
issue-64
issue-58
type-equations
equality-constraint
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
frozen-infer-at-the-end-of-the-internship
20201104
20201001
20190924
20180405
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#18
No description provided.
Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?