Skip to content

GitLab

Merged
Opened by Robbert Krebbers@robbertkrebbersMaintainer

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

This works because there is already a Reserved Notation.