accepted
merge request
!40
"Change positions of unfold/fold to make things consistent with iProp."
at
Iris / Actris
-
5075f124 · Merge branch 'robbert/fold_iProto' into 'master'
- ... and 1 more commit. Compare 316a5108...5075f124
opened
merge request
!40
"Change positions of unfold/fold to make things consistent with iProp."
at
Iris / Actris
Sorry I missed the ping — I'd also suggest fancy unicode, because the alternative requires a breaking change to priorities that I'd oppose....
This has been done now. The tactic, however, remains.
-
dc27a2ec · Merge branch 'ci/tree-borrows' into 'master'
- ... and 48 more commits. Compare 4099b244...dc27a2ec
I don't think we have any guidelines for this, but I would go for something like:...