Aoba

A regex manipulation lib written in Haskell</br> To compile: ghc -O2 aoba.hs RE.hs </br> Options:</br> ./aoba -i re1 re2 -- intersection set</br> ./aoba -c re1 re2 -- inclusion </br> ./aoba -e re1 re2 -- equality</br>

For detailed theory:</br> Valentin M. Antimirov: Partial Derivatives of Regular Expressions and Finite Automaton Constructions. </br> Theor. Comput. Sci. 155(2): 291-319 (1996)