Closed Lysxia closed 4 years ago
The only symbol-notations (as opposed to identifier-notations) not protected in modules are ~>, +', mrec-fix, rec-fix, and the itree relations (eutt & cie.). I don't think the extra friction from putting those in modules is worth it.
~>
+'
mrec-fix
rec-fix
eutt
The only symbol-notations (as opposed to identifier-notations) not protected in modules are
~>,+',mrec-fix,rec-fix, and the itree relations (eutt& cie.). I don't think the extra friction from putting those in modules is worth it.