@hackage / uhc-light

Part of UHC packaged as cabal/hackage installable library

1.1.10.0

Dependents

@hackage / Agda A dependently typed functional programming language and proof assistant
- Version: 2.8.0
- Last uploaded: 3 months ago
- License: MIT
@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain