homepage: ''
changelog-type: ''
hash: 7f38c8dbd1dd03f5ba24bef8081eb97e4af31bb9f2d3ff52b4353aa59ad9333e
test-bench-deps: {}
maintainer: bch29@cam.ac.uk
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.6'
  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'
author: Bradley Hardy
latest: '0.4.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 2018-05-18T01:58:22Z
Update from Hackage at 2018-05-18T01:58:22Z
