The latest version of haskhol-core is 1.1.0-0.
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.Lift
- HaskHOL.Core.Parser
- HaskHOL.Core.Printer
- HaskHOL.Core.State
- HaskHOL.Core.State.Monad
Dependencies
- base lib:base >=4.5 && <5
- containers lib:containers >=0.5 && <1
- deepseq lib:deepseq >=1.3 && <2
- parsec lib:parsec >=3.1 && <4
- pretty lib:pretty >=1.1 && <2
- template-haskell lib:template-haskell >=2.7 && <3
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything