@hackage hol1.2

Higher order logic

Categories
License
MIT
Maintainer
Joe Leslie-Hurd <joe@gilith.com>
Links
Versions
- 1.4 Mon, 8 Aug 2022
- 1.3 Sat, 4 Nov 2017
- 1.2 Tue, 3 Oct 2017
- 1.1 Thu, 24 Aug 2017
- 1.0 Fri, 7 Apr 2017

Installation
In your cabal file:
Dependencies (9)
- base >=4.0 && <5.0
- bytestring >=0.9 && <0.10
- containers >=0.5 && <0.6
- filepath >=1.3 && <1.4
- parsec >=3.1 && <3.2
- process >=1.2 && <1.3
Dependents (1)
@hackage/acme-everything

This package implements a higher order logic kernel with OpenTheory support.