Pure OCaml regular expressions, with support for Perl and POSIX-style strings
Why do you think that https://github.com/desi-ivanov/agda-regexp-automata is a good alternative to ocaml-re
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
Why do you think that https://github.com/desi-ivanov/agda-regexp-automata is a good alternative to ocaml-re