@hackage antimirov0.1.0

Define the language containment (=subtyping) relation on regulare expressions.

This is a generalization of regex-"matching". We use Antimirovs algorithm. Tests are provided, too.