csw-cli-0.1.0 is not a library.

csw-cli

Command-line interface for the Categorical Semantics Workbench.

Installation

cargo install csw-cli

Or build from source:

git clone https://github.com/ibrahimcesar/categorical-semantics-workbench
cd categorical-semantics-workbench
cargo install --path crates/csw-cli

Usage

Show a Derived Type System

# Show Simply-Typed Lambda Calculus
csw show --example stlc

# Show Linear Lambda Calculus
csw show --example linear

# Show Affine types (Rust-like)
csw show --example affine

Generate Code

# Generate Rust code for STLC
csw derive --example stlc --output generated/stlc/

# Generate with specific target
csw derive --example linear --output generated/linear/ --target rust

Validate a Specification

csw validate --example stlc

Built-in Examples

Example	Description
`stlc`	Simply-Typed Lambda Calculus (Cartesian Closed Category)
`linear`	Linear Lambda Calculus (Symmetric Monoidal Closed Category)
`affine`	Affine types, Rust-like (can drop, cannot clone)
`bccc`	Bicartesian Closed Category (STLC + sum types)

License

Licensed under either of Apache License, Version 2.0 or MIT license at your option.

csw-cli 0.1.0