@hackage horname0.2.0.0

Rename function definitions returned by SMT solvers

Categories
- Web Development
License
BSD-3-Clause
Maintainer
value
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.2.0.0 Sun, 14 Jul 2019
- 0.1.3.0 Mon, 13 Feb 2017
- 0.1.2.0 Mon, 19 Dec 2016
- 0.1.1.0 Mon, 19 Dec 2016
- 0.1.0.0 Sat, 17 Dec 2016

Installation
In your cabal file:
Tested Compilers
- 8.6.5
Dependencies (7)
- base >=4.9 && <5
- containers >=0.6 && <0.7
- text >=1.2 && <1.3
- megaparsec >=7 && <8
- these >=0.7 && <0.8
- uniplate >=1.6 && <1.7
Dependents (0)

Please see README.md