csw-generate 0.1.0

Code generation for the Categorical Semantics Workbench - generate type checkers and interpreters from derived type systems
Documentation