name:          haskhol-core
version:       1.0.0
synopsis:      The core logical system of HaskHOL, an EDSL for HOL theorem 
               proving. 
description:   More details can be found at the following page:  
               <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.6
build-type:    Simple
stability:     experimental
Homepage:      haskhol.org
 
library
    build-depends:   base >=4.5 && <5
                   , template-haskell >=2.7 && <3 
                   , parsec >=3.1 && <4
                   , deepseq >=1.3 && <2
                   , containers >=0.5 && <1
                   , pretty >=1.1 && <2

    exposed-modules:
      HaskHOL.Core
      HaskHOL.Core.Basics
      HaskHOL.Core.Lib     
      HaskHOL.Core.Lib.Lift
      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.Rep 
      HaskHOL.Core.Parser.TermParser   
      HaskHOL.Core.Parser.TypeParser      
             
    ghc-prof-options: -prof -fprof-auto
    ghc-options: -Wall

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