antimirov-0.1.0: Define the language containment (=subtyping) relation on regulare expressions.

The antimirov package

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

Properties

Version0.1.0
Dependenciesbase, containers, QuickCheck
LicenseGPL
CopyrightCopyright (c) 2009 Marcel Manthe
MaintainerRick Kaudewitz <rick.kaudewitz@yahoo.de>
Stabilityexperimental
CategoryLanguage, Math
Executablestest
Upload dateFri Jan 30 19:42:04 UTC 2009
Uploaded byRickKaudewitz
Built onghc-6.10, ghc-6.12, ghc-7.0

Modules

Downloads