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

Open
opened 2 years ago by Olivier · 2 comments
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 Label
No Milestone
No Assignees
2 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: Olivier/inferno-experimental#18
Loading…
There is no content yet.