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

homepage: https://github.com/camfort/verifiable-expressions#readme
changelog-type: markdown
hash: 10a66373a558a39db1cf8c290bab107604ff25e78539052ae49c1e7a5ff7e273
test-bench-deps: {}
maintainer: madgenhetic@gmail.com
synopsis: An intermediate language for Hoare logic style verification.
changelog: |
  ## 0.6.1 (2021-03-03)
  * Require at least Vinyl 0.9 (`RMap` etc. via type classes)
  * Support at least GHC 8.6, 8.8, 8.10
basic-deps:
  sbv: '>=8.0 && <9'
  base: '>=4.9 && <5'
  union: '>=0.1.1 && <0.2'
  containers: '>=0.5.7 && <0.7'
  vinyl: '>=0.9 && <0.14'
  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
- 0.6.1
author: Bradley Hardy
latest: 0.6.1
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 2021-03-03T14:17:24Z
Update from Hackage at 2021-03-03T14:17:24Z
