@hackage why30.8

Haskell support for the Why3 input format.

Categories
License
MIT
Maintainer
sjw@galois.com
Links
Versions
- 0.8 Thu, 27 Aug 2015

Installation
In your cabal file:
Dependencies (12)
- 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
Dependents (1)
@hackage/acme-everything

This package implements the Why3 language parser and printer.