why3: Haskell support for the Why3 input format.

[ languages, library, mit ] [ Propose Tags ]

This package implements the Why3 language parser and printer.

Downloads

Maintainer's Corner

Package maintainers

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 824 total (4 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]