sysl

A system language with commands, values, terms and coterms, interpreted via traced monoidal categories.