@hackage uhc-light1.1.10.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
- 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 executables for compiling to Core representation (uhcl) and running CoreRun (uhcr). This version is just to test the infrastructure. Later versions will provide a fleshing out of the API and completion of the now rudimentary platform independent (Haskell) interpreted running etc..

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

@hackage uhc-light1.1.10.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)