@hackage / antimirov

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