@hackage hol1.1

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 (6)
- base >=4.0 && <5.0
- bytestring >=0.9 && <0.10
- containers >=0.5 && <0.6
- text >=0.11 && <0.12
- transformers >=0.3 && <0.4
- pretty >=1.1 && <1.2
Dependents (1)
@hackage/acme-everything

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