crates.io : csw-cli
Command-line interface for the Categorical Semantics Workbench
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:cargo/csw-cli
Keywords:
category-theory
, compiler
, lambda-calculus
, linear-types
, type-theory
License: MIT,Apache-2.0
Latest release: about 2 months ago
First release: about 2 months ago
Downloads: 32 total
Last synced: 14 days ago
Loading...
Readme
Loading...