@hackage uhc-light1.1.7.1

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
- Changelog
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

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..

Installation
In your cabal file:
Dependencies (0)
Dependents (0)

@hackage uhc-light1.1.7.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)