circuits - Tiny circuits DSL

Age	Commit message (Expand)	Author
9 hours	Refactor wiring diagrams	Jacques Comeaux
12 hours	Add "idempotent" semiadditive dagger categories	Jacques Comeaux
12 hours	Allow square brackets in circuit lang identifiers	Jacques Comeaux
12 hours	Refactor systems and add looped systems	Jacques Comeaux
2 days	Add semiadditive dagger categories	Jacques Comeaux
5 days	Add preliminary category of wiring diagrams	Jacques Comeaux
6 days	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
2025-12-09	Add free commutative monoid functor	Jacques Comeaux
2025-12-09	Update Nat properties	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	Update free and forgetful monoid functors	Jacques Comeaux
2025-12-06	Rename One properties	Jacques Comeaux
2025-12-06	Update list adjunction for opaqueness	Jacques Comeaux
2025-12-06	Move FinMerge utilites	Jacques Comeaux
2025-12-06	Add commutative monoid conversions	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-14	Generalize ListOf construction to arbitrary monoid	Jacques Comeaux
2025-11-13	Add adjunction between free monoid and forget	Jacques Comeaux