circuits - Tiny circuits DSL

Age	Commit message (Expand)	Author
4 days	Add categories with all binary biproducts	Jacques Comeaux
8 days	Remove use of deprecated name	Jacques Comeaux
8 days	Add cartesian structure to category of semimodules	Jacques Comeaux
8 days	Construct Sys functor from wiring diagrams to Cats	Jacques Comeaux
8 days	Derive cartesian from semiadditive dagger	Jacques Comeaux
9 days	Show category of commutative conoids is cartesian	Jacques Comeaux
11 days	Use latest agda-categories	Jacques Comeaux
12 days	Fix equivalence of rig homomorphisms	Jacques Comeaux
12 days	Add category of commutative monoids	Jacques Comeaux
12 days	Add Nat to category of maps of Mat(Bool) functor	Jacques Comeaux
14 days	Update circuit values	Jacques Comeaux
2026-04-30	Add monoids / monoid objects in setoids equivalence	Jacques Comeaux
2026-04-03	Add free functor from rig-matrices to semimodules	Jacques Comeaux
2026-04-02	Add categories of Rigs, Bisemimodules, and Semimodules	Jacques Comeaux
2026-03-25	Add looped wiring diagrams and merge functor	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-14	Add "idempotent" semiadditive dagger categories	Jacques Comeaux
2026-03-12	Add semiadditive dagger categories	Jacques Comeaux
2026-01-13	Fix modules broken by addition of strong SymMonCat	Jacques Comeaux
2026-01-10	Extend monoidalize functor to commutative monoids	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 symmetric monoidal primitive preorder category	Jacques Comeaux
2026-01-06	Add monoidal cats to monoidal preorders functor	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 category of preorders	Jacques Comeaux
2026-01-04	Update to latest agda-categories	Jacques Comeaux
2025-12-13	Transport monoid via base category isomorphism	Jacques Comeaux
2025-12-09	Add shorter name for singleton setoid	Jacques Comeaux
2025-12-08	Update category of cospans monoidal structure	Jacques Comeaux
2025-12-08	Update category of cospans	Jacques Comeaux
2025-12-06	Rename One properties	Jacques Comeaux
2025-12-06	Make setoids monoidal structure opaque	Jacques Comeaux
2025-12-04	Add opaqueness to cospans and decorated cospans	Jacques Comeaux
2025-11-05	Add category of commutative monoids	Jacques Comeaux
2025-10-28	Add second level parameter to Setoids SMC	Jacques Comeaux
2025-10-15	Add symmetric monoidal versions	Jacques Comeaux
2025-10-15	Add monoidal categories for Nat and Nat-op	Jacques Comeaux
2025-04-23	Category of decorated cospans is symmetric monoidal	Jacques Comeaux
2025-02-08	Add symmetric braiding to category of cospans	Jacques Comeaux
2025-02-03	Show category of cospans is monoidal	Jacques Comeaux
2025-02-03	Add category of finitely-cocomplete categories	Jacques Comeaux
2025-02-03	Update agda-categories version	Jacques Comeaux