cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.33.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: b61cc1fb115270326d22ec5fbcdd0a38b0aed4c1489d119b344cf4e41c987188

name:           verifiable-expressions
version:        0.6.1
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
extra-source-files:
    CHANGELOG.md

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.9 && <0.14
  default-language: Haskell2010