circuits - Tiny circuits DSL

Age	Commit message (Expand)	Author
2026-03-27	Build dagger 2-poset Mat(R) for idem. comm. rig R	Jacques Comeaux
2026-03-27	Add commutative rig matrix semiadditive structure	Jacques Comeaux
2026-03-27	Add dagger structure for commutative rig matrices	Jacques Comeaux
2026-03-26	Add cocartesian structure to category of matrices	Jacques Comeaux
2026-03-25	Use agda-categories definition of split idempotent	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-25	Add category of maps of a dagger 2-poset	Jacques Comeaux
2026-03-25	Define dagger-2-posets	Jacques Comeaux
2026-03-24	Add monoidal structure to category of posets	Jacques Comeaux
2026-03-24	Use new dagger reasoning combinator	Jacques Comeaux
2026-03-24	Add split idempotents	Jacques Comeaux
2026-03-19	Add category of matrices over an arbitary rig	Jacques Comeaux
2026-03-14	Add wiring diagram equalities	Jacques Comeaux
2026-03-14	Refactor wiring diagrams	Jacques Comeaux
2026-03-14	Add "idempotent" semiadditive dagger categories	Jacques Comeaux
2026-03-14	Allow square brackets in circuit lang identifiers	Jacques Comeaux
2026-03-14	Refactor systems and add looped systems	Jacques Comeaux
2026-03-12	Add semiadditive dagger categories	Jacques Comeaux
2026-03-10	Add preliminary category of wiring diagrams	Jacques Comeaux
2026-03-08	Add monoidal category of finite relations	Jacques Comeaux
2026-01-13	Fix modules broken by addition of strong SymMonCat	Jacques Comeaux
2026-01-13	Remove old multisetof construction	Jacques Comeaux
2026-01-13	Move values module	Jacques Comeaux
2026-01-13	Remove old monoidal functors	Jacques Comeaux
2026-01-11	Construct SM nat trans from Circ to Sys	Jacques Comeaux
2026-01-10	Define Sys functor from Nat to SMCs	Jacques Comeaux
2026-01-10	Extend monoidalize functor to commutative monoids	Jacques Comeaux
2026-01-07	Add SMP to commutative monoids functor	Jacques Comeaux
2026-01-07	Add monoidal preorders to monoids functor	Jacques Comeaux
2026-01-07	Add strong variants of cats to preorders functors	Jacques Comeaux
2026-01-07	Differentiate lax and strong monoidal monotones	Jacques Comeaux
2026-01-06	Add sym. mon. cat to sym. mon. preorder functor	Jacques Comeaux
2026-01-06	Add symmetric monoidal primitive preorder category	Jacques Comeaux
2026-01-06	Add monoidal cats to monoidal preorders functor	Jacques Comeaux
2026-01-06	Add monoidal primitive preorders	Jacques Comeaux
2026-01-06	Add functors from categories to preorders to setoids	Jacques Comeaux
2026-01-05	Add non-setoid-based preorders	Jacques Comeaux
2026-01-04	Add category of symmetric monoidal preorders	Jacques Comeaux
2026-01-04	Add category of monoidal preorders	Jacques Comeaux
2026-01-04	Add monoidal monotone maps between preorders	Jacques Comeaux
2026-01-04	Add (weak) monoidal and symmetric monoidal preorders	Jacques Comeaux
2026-01-04	Add category of preorders	Jacques Comeaux
2026-01-04	Update to latest agda-categories	Jacques Comeaux
2026-01-01	Update push, pull, and sys functors	Jacques Comeaux
2025-12-13	Add hypergraph destructor setoid homomorphism	Jacques Comeaux
2025-12-13	Add Monoidalize functor	Jacques Comeaux
2025-12-13	Redefine circuit functor	Jacques Comeaux
2025-12-13	Transport monoid via base category isomorphism	Jacques Comeaux
2025-12-10	Add free/forget multiset adjunction	Jacques Comeaux