@hackage hol1.3

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
- containers >=0.5
- filepath >=1.3
- parsec >=3.1
- process >=1.2
Dependents (1)
@hackage/acme-everything

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