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

name:           verifiable-expressions
version:        0.4.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
author:         Bradley Hardy
maintainer:     bch29@cam.ac.uk
license:        Apache-2.0
license-file:   LICENSE
build-type:     Simple
cabal-version:  >= 1.10

library
  ghc-options: -Wall
  build-depends:
      base >=4.9 && <5
    , containers >=0.5.7 && <0.6
    , lens >=4.16.1 && <5
    , mtl >=2.0 && <3
    , sbv >=7.0 && <8
    , transformers >=0.5 && <0.6
    , union >=0.1.1 && <0.2
    , vinyl >=0.8.1 && <0.9
  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
  default-language: Haskell2010