Pretty-printing : affichage fun/Fun n-aire #55
Loading…
Reference in New Issue
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?
On voudrait un affichage de la forme
Fun a1 a2 ... ->
à la place deFun a1 -> Fun a2 -> ...
C'est résolu depuis que
https://gitlab.inria.fr/fpottier/inferno/-/merge_requests/45
est intégré.