relit icon indicating copy to clipboard operation
relit copied to clipboard

Published 20 hours ago • verified publisher icon cyrus-

Specify notations in signatures

Open cyrus- opened this issue 6 years ago • 2 comments

cyrus- avatar Oct 05 '18 05:10 cyrus-

To be clear you can specify notation aliases in signatures, which is something but a weird state to only support.

charlesetc avatar Oct 06 '18 01:10 charlesetc

yeah, you should be able to write down the .rei file corresponding to Regex_notation.re for example

cyrus- avatar Oct 06 '18 20:10 cyrus-