API avec types profonds #24

Open
opened 2021-04-21 16:40:44 +02:00 by gasche · 1 comment
Collaborator

Essayer une version de l'API client/serveur où on ne parle que de types profonds, pas de types plats.

Essayer une version de l'API client/serveur où on ne parle que de types profonds, pas de types plats.
Author
Collaborator

(Regarder comment on a fait dans la branche de développement sur le travail de Carine, pour mettre la définition des types profonds en-dehors du foncteur du solveur.)

(Regarder comment on a fait dans la branche de développement sur le travail de Carine, pour mettre la définition des types profonds en-dehors du foncteur du solveur.)
Sign in to join this conversation.
No Label
No Milestone
No Assignees
1 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#24
No description provided.