name:          haskhol-core
version:       1.1.0
synopsis:      The core logical system of HaskHOL, an EDSL for HOL theorem 
               proving. 
description:   More details can be found at the following page:  
               http://haskhol.org. 
license:       BSD3
license-file:  LICENSE
author:        Evan Austin <ecaustin@ittc.ku.edu>
maintainer:    Evan Austin <ecaustin@ittc.ku.edu>
category:      Theorem Provers
cabal-version: >=1.18
build-type:    Simple
stability:     experimental
homepage:      http://haskhol.org
 
data-dir: data
data-files: BaseCtxt/.dummy

library
    default-language:  Haskell2010
    default-extensions:  DeriveDataTypeable, OverloadedStrings,
                         QuasiQuotes, TemplateHaskell
    build-depends:   base >= 4.7 && < 4.8
                   , ghc-prim >= 0.3
                   , template-haskell >= 2.9
                   , acid-state >= 0.12
                   , containers >= 0.5
                   , deepseq >= 1.3
                   , filepath >= 1.3
                   , hashable >= 1.2
                   , mtl >= 2.2
                   , parsec >= 3.1
                   , pretty >= 1.1
                   , safecopy >= 0.8
                   , shelly >= 1.5
                   , text >= 1.2
                   , text-show >= 0.6
                   , th-lift >= 0.7
                   , unordered-containers >= 0.2

    exposed-modules:
      HaskHOL.Core
      HaskHOL.Core.Basics
      HaskHOL.Core.Lib     
      HaskHOL.Core.Lib.Families
      HaskHOL.Core.Kernel  
      HaskHOL.Core.Kernel.Terms
      HaskHOL.Core.Kernel.Types 
      HaskHOL.Core.State   
      HaskHOL.Core.State.Monad
      HaskHOL.Core.Parser  
      HaskHOL.Core.Printer
      HaskHOL.Core.Ext	

    exposed: True
    buildable: True
    hs-source-dirs: src

    other-modules:
      HaskHOL.Core.Basics.Nets
      HaskHOL.Core.Ext.Protected    
      HaskHOL.Core.Ext.QQ
      HaskHOL.Core.Kernel.Prims
      HaskHOL.Core.Parser.Elab
      HaskHOL.Core.Parser.Lib 
      HaskHOL.Core.Parser.Prims 
      HaskHOL.Core.Parser.Rep 
      HaskHOL.Core.Parser.TermParser   
      HaskHOL.Core.Parser.TypeParser  
      Paths_haskhol_core    
             
    ghc-prof-options: -prof -fprof-auto
    ghc-options: -Wall

source-repository head
  type: git 
  location: git://github.com/ecaustin/haskhol-core.git