regexpr-symbolic: Equality, containment, intersection among regular expressions via symbolic manipulation

[ bsd3, library, text ] [ Propose Tags ]

Equality, containment, intersection among regular expressions via symbolic manipulation


[Skip to Readme]
Versions 0.1, 0.2, 0.3, 0.4, 0.5
Dependencies base, haskell98 [details]
License BSD-3-Clause
Author Martin Sulzmann
Maintainer martin.sulzmann@gmail.com
Category Text
Uploaded by MartinSulzmann at Thu Dec 11 22:50:30 UTC 2008
Distributions NixOS:0.5
Downloads 1666 total (15 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for regexpr-symbolic-0.1

[back to package description]

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