@hackage uhc-light1.1.7.0

Part of UHC packaged as cabal/hackage installable library

Categories
- Development
License
BSD-3-Clause
Maintainer
uhc-developers@lists.science.uu.nl
Links
- Homepage
- Documentation
- No source repository
Versions
- 1.1.10.0 Mon, 1 Jan 2018
- 1.1.9.5 Fri, 23 Dec 2016
- 1.1.9.4 Sat, 21 May 2016
- 1.1.9.3 Fri, 19 Feb 2016
- 1.1.9.2 Mon, 18 Jan 2016
- 1.1.9.1 Tue, 13 Oct 2015

Installation
In your cabal file:
Dependencies (17)
- array
- base >=4 && <5
- binary
- bytestring
- containers
- directory
Dependents (2)
@hackage/Agda, @hackage/acme-everything

A light variant of UHC including only an API and an executable for compiling to Core representation. This version is just to test the infrastructure. Later versions will provide a fleshing out of the API etc..

@hackage uhc-light1.1.7.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (17)

Dependents (2)