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] |
| Tested with | ghc ==7.6.3, ghc ==7.8.4, ghc ==7.10.1 |
| 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 | 844 total (5 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] |