@hackage uhc-light1.1.10.0
Part of UHC packaged as cabal/hackage installable library
Categories
License
BSD-3-Clause
Maintainer
uhc-developers@lists.science.uu.nl
Links
- Homepage
- Documentation
- No source repository
- Changelog
- Security
Versions
Installation
Dependencies (21)
- array
- base >=4.7 && <5
- binary
- bytestring
- chr-data >=0.1.0.0
- containers Show all…
Dependents (2)
@hackage/Agda, @hackage/acme-everything
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..