circuits - Tiny circuits DSL

Age	Commit message (Expand)	Author
44 hours	Add hypergraph destructor setoid homomorphismmain	Jacques Comeaux
44 hours	Add Monoidalize functor	Jacques Comeaux
46 hours	Redefine circuit functor	Jacques Comeaux
48 hours	Transport monoid via base category isomorphism	Jacques Comeaux
5 days	Add free/forget multiset adjunction	Jacques Comeaux
6 days	Add free commutative monoid functor	Jacques Comeaux
6 days	Update Nat properties	Jacques Comeaux
6 days	Add shorter name for singleton setoid	Jacques Comeaux
7 days	Update category of cospans monoidal structure	Jacques Comeaux
7 days	Update category of cospans	Jacques Comeaux
9 days	Update free and forgetful monoid functors	Jacques Comeaux
9 days	Rename One properties	Jacques Comeaux
9 days	Update list adjunction for opaqueness	Jacques Comeaux
9 days	Move FinMerge utilites	Jacques Comeaux
9 days	Add commutative monoid conversions	Jacques Comeaux
9 days	Make setoids monoidal structure opaque	Jacques Comeaux
11 days	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
2025-10-30	Make list natural transformations level-polymorphic	Jacques Comeaux
2025-10-30	Add empty list and append natural transformations	Jacques Comeaux
2025-10-29	Add Edge functor	Jacques Comeaux
2025-10-29	Add List functor	Jacques Comeaux
2025-10-29	Update hypergraph equivalence	Jacques Comeaux
2025-10-29	Add Circuit type	Jacques Comeaux
2025-10-29	Refactor list-based hypergraphs	Jacques Comeaux
2025-10-28	Add second level parameter to Setoids SMC	Jacques Comeaux
2025-10-28	Merge branch 'hypergraph-conversion'	Jacques Comeaux
2025-10-28	Split System into smaller modules	Jacques Comeaux
2025-10-28	Add symmetric monoidal structure to Pull and System	Jacques Comeaux
2025-10-27	Add inverted unitary rules for strong monoidal functors	Jacques Comeaux
2025-10-26	Add inverted associativity for strong monoidal functors	Jacques Comeaux
2025-10-22	Simplify System definition and add System functor	Jacques Comeaux
2025-10-22	Setoid-ify System definition	Jacques Comeaux
2025-10-22	Add symmetric monoidal structure to Push functor	Jacques Comeaux
2025-10-16	Add Preimage symmetric monoidal functor	Jacques Comeaux
2025-10-15	Improve terminology in comment	Jacques Comeaux