Pretty-printing : affichage fun/Fun n-aire #55

Closed
opened 2022-05-19 11:49:29 +02:00 by Olivier · 1 comment
Owner

On voudrait un affichage de la forme Fun a1 a2 ... -> à la place de Fun a1 -> Fun a2 -> ...

On voudrait un affichage de la forme `Fun a1 a2 ... ->` à la place de `Fun a1 -> Fun a2 -> ...`
Collaborator

C'est résolu depuis que
https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/45
est intégré.

C'est résolu depuis que https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/45 est intégré.
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#55
No description provided.