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

Open
opened 2021-04-06 15:08:25 +02:00 by Olivier · 2 comments
Owner
No description provided.
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)
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
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.