lib:haskhol-core
Modules
- HaskHOL.Core
- HaskHOL.Core.Basics
- HaskHOL.Core.Ext
- HaskHOL.Core.Kernel
- HaskHOL.Core.Kernel.Terms
- HaskHOL.Core.Kernel.Types
- HaskHOL.Core.Lib
- HaskHOL.Core.Lib.Families
- HaskHOL.Core.Parser
- HaskHOL.Core.Printer
- HaskHOL.Core.State
- HaskHOL.Core.State.Monad
Dependencies
- acid-state lib:acid-state >=0.12
- base lib:base >=4.7 && <4.8
- containers lib:containers >=0.5
- deepseq lib:deepseq >=1.3
- filepath lib:filepath >=1.3
- ghc-prim lib:ghc-prim >=0.3
- hashable lib:hashable >=1.2
- mtl lib:mtl >=2.2
- parsec lib:parsec >=3.1
- pretty lib:pretty >=1.1
- safecopy lib:safecopy >=0.8
- shelly lib:shelly >=1.5
- template-haskell lib:template-haskell >=2.9
- text lib:text >=1.2
- text-show lib:text-show >=0.6
- th-lift lib:th-lift >=0.7
- unordered-containers lib:unordered-containers >=0.2
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything