@hackage uhc-light1.1.7.0
Part of UHC packaged as cabal/hackage installable library
Installation
Dependencies (17)
- array
- base >=4 && <5
- binary
- bytestring
- containers
- directory Show all…
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..