Name: regexpr-symbolic Synopsis: Regular expressions via symbolic manipulation Category: Text Version: 0.5 Stability: experimental Cabal-Version: -any License: BSD3 License-File: LICENSE Author: Martin Sulzmann Maintainer: martin.sulzmann@gmail.com Description: Equality, containment, intersection among regular expressions via symbolic manipulation homepage: http://sulzmann.blogspot.com/2008/12/equality-containment-and-intersection.html data-files: README extra-source-files: Example.lhs Build-Type: Simple Build-Depends: base >= 4 && < 4.1 Exposed-modules: RegExpr.RegExprOperations tested-with: GHC == 7.4.1