circuits - Tiny circuits DSL

Age	Commit message (Expand)	Author
8 days	Extend monoidalize functor to commutative monoids	Jacques Comeaux
12 days	Add SMP to commutative monoids functor	Jacques Comeaux
12 days	Add monoidal preorders to monoids functor	Jacques Comeaux
12 days	Add strong variants of cats to preorders functors	Jacques Comeaux
12 days	Differentiate lax and strong monoidal monotones	Jacques Comeaux
12 days	Add sym. mon. cat to sym. mon. preorder functor	Jacques Comeaux
12 days	Add symmetric monoidal primitive preorder category	Jacques Comeaux
13 days	Add monoidal cats to monoidal preorders functor	Jacques Comeaux
13 days	Add monoidal primitive preorders	Jacques Comeaux
13 days	Add functors from categories to preorders to setoids	Jacques Comeaux
13 days	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
2025-11-09	Use functional vector in edge definition	Jacques Comeaux
2025-11-09	Clean up System functors	Jacques Comeaux
2025-11-05	Add Circ symmetric monoidal functor	Jacques Comeaux
2025-11-05	Adjust universe levels	Jacques Comeaux
2025-11-05	Add multiset functor	Jacques Comeaux
2025-11-05	Add free commutaive monoid functor	Jacques Comeaux
2025-11-05	Add multiset-of construction	Jacques Comeaux
2025-11-05	Add category of commutative monoids	Jacques Comeaux
2025-11-05	Add list-of construction for monoidal functors	Jacques Comeaux
2025-11-03	Remove unnecessary import	Jacques Comeaux
2025-11-03	Use permutation for equivalence of hypergraphs	Jacques Comeaux
2025-10-30	Add Circ functor	Jacques Comeaux
2025-10-30	Add free functor from setoids to monoids in setoids	Jacques Comeaux