@hackage uhc-light1.1.7.2
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 (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..