circuits - Tiny circuits DSL

Age	Commit message (Expand)	Author
5 days	Finish merge and split symmetric monoidal functors	Jacques Comeaux
6 days	Construct monoidal merge functor	Jacques Comeaux
6 days	Show category of maps is monoidal	Jacques Comeaux
8 days	Upgrade Push + Pull to symmetric monoidal functors	Jacques Comeaux
9 days	Show wiring diagram braiding is symmetric	Jacques Comeaux
10 days	Add braiding to wiring diagram monoidal structure	Jacques Comeaux
10 days	Show category of directed wiring diagrams is monoidal	Jacques Comeaux
2026-07-19	Simplify wiring diagrams using semiadditive dagger	Jacques Comeaux
2026-07-13	Add split functor	Jacques Comeaux
2026-03-25	Add looped wiring diagrams and merge functor	Jacques Comeaux
2026-03-25	Add pull functor from relations to wiring diagrams	Jacques Comeaux
2026-03-14	Add wiring diagram equalities	Jacques Comeaux
2026-03-14	Refactor wiring diagrams	Jacques Comeaux
2026-03-10	Add preliminary category of wiring diagrams	Jacques Comeaux
2026-03-08	Add monoidal category of finite relations	Jacques Comeaux