crates.io : kers
Dependently type Object-Oriented Data Script
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/kers
Keywords:
types
, dependent-types
, typechecking
, parsing
, language
License: MIT
Latest release: over 1 year ago
First release: over 1 year ago
Downloads: 1,295 total
Stars: 0 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 10 days ago
Loading...
Readme
Loading...