Skip to content

Documentation for #237

Paolo G. Giarrusso requested to merge Blaisorblade/iris:doc-later-strip into master

That's the (minimal) documentation I'd have wanted to see. And vice versa, the lack of this rule implied (to me) that this wouldn't work.

EDIT: Beware this is just for ▹, not ▹^n, but writing more is easy.

Edited by Paolo G. Giarrusso

Merge request reports