name:                proof-combinators
version:             0.1.0.0
synopsis:            Proof Combinators used in Liquid Haskell for Theorem Proving

homepage:            http://nikivazou.github.io/
license:             MIT
license-file:        LICENSE
author:              Niki Vazou
maintainer:          nikivazou@gmail.com

category:            Theorem Proving
build-type:          Simple
extra-source-files:  ChangeLog.md
cabal-version:       >=1.10

library
  exposed-modules:     LiquidHaskell.ProofCombinators
  build-depends:       base >=4.10 && <4.11
  hs-source-dirs:      src
  default-language:    Haskell2010