The regexpr-symbolic package

[Tags:bsd3, library]

Equality, containment, intersection among regular expressions via symbolic manipulation


[Skip to Readme]

Properties

Versions 0.1, 0.2, 0.3, 0.4, 0.5
Dependencies base (>=4 && <4.1) [details]
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
Uploaded Tue May 8 20:00:56 UTC 2012 by MartinSulzmann
Distributions NixOS:0.5
Downloads 891 total (19 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-13 [all 5 reports]

Modules

  • RegExpr
    • RegExpr.RegExprOperations

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Readme for regexpr-symbolic

Readme for regexpr-symbolic-0.5


Installation via cabal:
runhaskell Setup.hs configure --ghc --user --prefix=$HOME
runhaskell Setup.hs build
runhaskell Setup.hs install