Skip to content

Make use of `▷^` notation in its definition.

Robbert Krebbers requested to merge robbert/laterN into master

This works because there is already a Reserved Notation.

Merge request reports