why3: Haskell support for the Why3 input format.
This package implements the Why3 language parser and printer.
Modules
[Index]
Downloads
- why3-0.8.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.8 |
---|---|
Change log | CHANGELOG.md |
Dependencies | array (>=0.4 && <0.6), base (>=4.6 && <4.9), bytestring (>=0.10 && <0.11), containers (>=0.5 && <0.6), deepseq (>=1.3 && <1.5), directory (>=1.2 && <1.3), filepath (>=1.3 && <1.5), monadLib (>=3.7 && <3.8), pretty (>=1.1 && <1.2), pretty-show (>=1.6 && <1.7), profunctors (>=5.1 && <5.2), text (>=1.2 && <1.3) [details] |
License | MIT |
Copyright | 2012, 2014, 2015, Galois Inc. |
Author | Galois, Inc. |
Maintainer | sjw@galois.com |
Category | Languages |
Source repo | head: git clone http://github.com/GaloisInc/why3 |
Uploaded | by EricMertens at 2015-08-27T20:22:20Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 842 total (6 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2015-08-28 [all 1 reports] |