BSD-3-Clause licensed and maintained by Oleg Grenrus

Module documentation for 0

This version can be pinned in stack with:kleene-0@sha256:5d73be2f220699bfbd4d5d20c4321cd546011816558c23add6f834a14eaeedc7,2004

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