antimirov-0.1.0: Define the language containment (=subtyping) relation on regulare expressions.
Data.Regex.Antimirov
module Data.Regex.Antimirov.Regex
module Data.Regex.Antimirov.Simplify
module Data.Regex.Antimirov.Subtyping