The regexpr-symbolic package
Equality, containment, intersection among regular expressions via symbolic manipulation
Properties
| Versions | 0.1, 0.2, 0.3, 0.4, 0.5 |
|---|---|
| Dependencies | base, haskell98 |
| License | BSD3 |
| Author | Martin Sulzmann |
| Maintainer | martin.sulzmann@gmail.com |
| Stability | experimental |
| Category | Text |
| Upload date | Thu Dec 11 22:50:30 UTC 2008 |
| Uploaded by | MartinSulzmann |
| Built on | ghc-6.10, ghc-6.12 |
Modules
- RegExpr
Downloads
- regexpr-symbolic-0.1.tar.gz (Cabal source package)
- package description (included in the package)