cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.31.2. -- -- see: https://github.com/sol/hpack -- -- hash: ad72557a78859a1f81baf264e6f52253074bef4077f8206609ea198177c25595 name: verifiable-expressions version: 0.6.0 synopsis: An intermediate language for Hoare logic style verification. description: A typed intermediate language for Hoare logic style verification. It defines the intermediate language and combinators to interact it. category: Language homepage: https://github.com/camfort/verifiable-expressions#readme bug-reports: https://github.com/camfort/verifiable-expressions/issues author: Bradley Hardy maintainer: madgenhetic@gmail.com license: Apache-2.0 license-file: LICENSE build-type: Simple source-repository head type: git location: https://github.com/camfort/verifiable-expressions library exposed-modules: Language.Expression Language.Expression.Example Language.Expression.Choice Language.Expression.Scope Language.Expression.GeneralOp Language.Expression.Prop Language.Expression.Pretty Language.Expression.Util Language.Verification Language.Verification.Conditions Language.Verification.Core Language.While.Hoare Language.While.Hoare.Prover Language.While.Syntax Language.While.Syntax.Sugar Language.While.Test other-modules: Paths_verifiable_expressions ghc-options: -Wall build-depends: base >=4.9 && <5 , containers >=0.5.7 && <0.7 , lens >=4.16.1 && <5 , mtl >=2.0 && <3 , sbv >=8.0 && <9 , transformers >=0.5 && <0.6 , union >=0.1.1 && <0.2 , vinyl >=0.8.1 && <0.9 default-language: Haskell2010