homepage: ''
changelog-type: ''
hash: 8f918c7def754431e0e4576cbd8cff1bf8b9e4fd4c297469ff3b11eaed613b3a
test-bench-deps: {}
maintainer: Joe Leslie-Hurd <joe@gilith.com>
synopsis: Higher order logic
changelog: ''
basic-deps:
  base: ! '>=4.0 && <5.0'
all-versions:
- '1.0'
author: Joe Leslie-Hurd <joe@gilith.com>
latest: '1.0'
description-type: haddock
description: This package implements a higher order logic kernel.
license-name: MIT

Update from Hackage at 2017-04-07T05:26:11Z
Update from Hackage at 2017-04-07T05:26:11Z
