homepage: https://github.com/camfort/verifiable-expressions#readme
changelog-type: ''
hash: 218eedd89025ab8ce5152ad4f770047f7e259a1836736a5a7e6d124f9757b2bf
test-bench-deps: {}
maintainer: madgenhetic@gmail.com
synopsis: An intermediate language for Hoare logic style verification.
changelog: ''
basic-deps:
  sbv: ! '>=7.0 && <8'
  base: ! '>=4.9 && <5'
  union: ! '>=0.1.1 && <0.2'
  containers: ! '>=0.5.7 && <0.7'
  vinyl: ! '>=0.8.1 && <0.9'
  lens: ! '>=4.16.1 && <5'
  mtl: ! '>=2.0 && <3'
  transformers: ! '>=0.5 && <0.6'
all-versions:
- 0.4.0
- 0.5.0
author: Bradley Hardy
latest: 0.5.0
description-type: haddock
description: A typed intermediate language for Hoare logic style verification. It
  defines the intermediate language and combinators to interact it.
license-name: Apache-2.0

homepage: https://github.com/camfort/verifiable-expressions#readme
changelog-type: ''
hash: 5018b983d82b1f63c4e5700e4517b4698ba51e0d62a92b603093456c8f7c02eb
test-bench-deps: {}
maintainer: madgenhetic@gmail.com
synopsis: An intermediate language for Hoare logic style verification.
changelog: ''
basic-deps:
  sbv: ! '>=8.0 && <9'
  base: ! '>=4.9 && <5'
  union: ! '>=0.1.1 && <0.2'
  containers: ! '>=0.5.7 && <0.7'
  vinyl: ! '>=0.8.1 && <0.9'
  lens: ! '>=4.16.1 && <5'
  mtl: ! '>=2.0 && <3'
  transformers: ! '>=0.5 && <0.6'
all-versions:
- 0.4.0
- 0.5.0
- 0.6.0
author: Bradley Hardy
latest: 0.6.0
description-type: haddock
description: A typed intermediate language for Hoare logic style verification. It
  defines the intermediate language and combinators to interact it.
license-name: Apache-2.0

Update from Hackage at 2019-08-17T22:14:16Z
Update from Hackage at 2019-08-17T22:14:16Z
