hackage.haskell.org : rzk
Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/rzk
Keywords:
bsd3
, dependent-types
, library
, program
, Propose Tags
, category-theory
, haskell
, homotopy-type-theory
, proof-assistant
License: BSD-3-Clause
Latest release: 23 days ago
First release: over 2 years ago
Dependent packages: 2
Dependent repositories: 1
Downloads: 1,337 total
Stars: 247 on GitHub
Forks: 11 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 2 days ago