BSD3 licensed and maintained by Oleg Grenrus

Module documentation for 0

There are no documented modules for this package.

Kleene algebra

Think: Regular expressions

Implements ideas from Regular-expression derivatives re-examined by Scott Owens, John Reppy and Aaron Turon https://doi.org/10.1017/S0956796808007090

comments powered byDisqus