The regexpr-symbolic package
Equality, containment, intersection among regular expressions via symbolic manipulation
Properties
| Versions | 0.1, 0.2, 0.3, 0.4 |
|---|---|
| Dependencies | base, haskell98 |
| License | BSD3 |
| Author | Martin Sulzmann |
| Maintainer | martin.sulzmann@gmail.com |
| Stability | experimental |
| Category | Text |
| Home page | http://sulzmann.blogspot.com/2008/12/equality-containment-and-intersection.html |
| Upload date | Wed Mar 11 20:09:47 UTC 2009 |
| Uploaded by | MartinSulzmann |
| Built on | ghc-6.10, ghc-6.12, ghc-7.0 |
Modules
- RegExpr
Downloads
- regexpr-symbolic-0.4.tar.gz (Cabal source package)
- package description (included in the package)