name: hol
version: 1.1
category: Logic
synopsis: Higher order logic
license: MIT
license-file: LICENSE
cabal-version: >= 1.8.0.2
build-type: Simple
extra-source-files: README.md doc/axioms.txt
extra-tmp-files: hol-profile.aux hol-profile.hp hol-profile.pdf hol-profile.prof hol-profile.ps
author: Joe Leslie-Hurd <joe@gilith.com>
maintainer: Joe Leslie-Hurd <joe@gilith.com>
description:
  This package implements a higher order logic kernel with OpenTheory support.

Library
  build-depends:
    base >= 4.0 && < 5.0,
    bytestring >= 0.9 && < 0.10,
    containers >= 0.5 && < 0.6,
    pretty >= 1.1 && < 1.2,
    text >= 0.11 && < 0.12,
    transformers >= 0.3 && < 0.4
  hs-source-dirs: src
  ghc-options: -Wall
  ghc-prof-options: -fprof-auto-top
  exposed-modules:
    HOL.Const
    HOL.Data
    HOL.Name
    HOL.OpenTheory
    HOL.Print
    HOL.Rule
    HOL.Sequent
    HOL.Subst
    HOL.Term
    HOL.TermAlpha
    HOL.TermData
    HOL.Theory
    HOL.Thm
    HOL.Type
    HOL.TypeData
    HOL.TypeOp
    HOL.TypeSubst
    HOL.TypeVar
    HOL.Var

test-suite hol-test
  type: exitcode-stdio-1.0
  build-depends:
    base >= 4.0 && < 5.0,
    bytestring >= 0.9 && < 0.10,
    containers >= 0.5 && < 0.6,
    pretty >= 1.1 && < 1.2,
    QuickCheck >= 2.4 && < 2.5,
    text >= 0.11 && < 0.12,
    transformers >= 0.3 && < 0.4
  hs-source-dirs: src
  ghc-options: -Wall
  main-is: Test.hs

benchmark hol-profile
  type: exitcode-stdio-1.0
  build-depends:
    base >= 4.0 && < 5.0,
    bytestring >= 0.9 && < 0.10,
    containers >= 0.5 && < 0.6,
    pretty >= 1.1 && < 1.2,
    text >= 0.11 && < 0.12,
    transformers >= 0.3 && < 0.4
  hs-source-dirs: src
  ghc-options:
    -fprof-auto-top
    "-with-rtsopts=-p -s -h -i0.1"
  main-is: Profile.hs

source-repository head
  type: git
  location: git://github.com/gilith/hol.git