On Mon, Feb 20, 2017 at 10:27 PM, Artyom Shalkhakov <[email protected]> wrote: > Thank you for the pointer. I guess creating a new package that depends on > urweb-regex is the way to go.
I’m also happy to merge changes to urweb-regex. I think a richly-typed API like the one you’re looking for would be quite valuable in the regex library. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
