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 |
| Home page | http://sulzmann.blogspot.com/2008/12/equality-containment-and-intersection.html |
| Upload date | Thu Dec 11 23:22:38 UTC 2008 |
| Uploaded by | MartinSulzmann |
| Built on | ghc-6.10, ghc-6.12 |
Modules
- RegExpr
Downloads
- regexpr-symbolic-0.3.tar.gz (Cabal source package)
- package description (included in the package)