csw-derive 0.1.0

Type system derivation engine for the Categorical Semantics Workbench - derive type theories from categorical structures
Documentation