circuits-chu

The Chu construction and its linear-logic connectives, built on top of the circuits substrate. This package is intentionally separate: Chu is a star-autonomous model, not part of the circuit substrate itself.