circuits - Tiny circuits DSL

Age	Commit message (Expand)	Author
24 hours	Transport monoid via base category isomorphism	Jacques Comeaux
4 days	Add free/forget multiset adjunction	Jacques Comeaux
5 days	Add free commutative monoid functor	Jacques Comeaux
5 days	Update Nat properties	Jacques Comeaux
5 days	Add shorter name for singleton setoid	Jacques Comeaux
6 days	Update category of cospans monoidal structure	Jacques Comeaux
6 days	Update category of cospans	Jacques Comeaux
8 days	Update free and forgetful monoid functors	Jacques Comeaux
8 days	Rename One properties	Jacques Comeaux
8 days	Update list adjunction for opaqueness	Jacques Comeaux
8 days	Move FinMerge utilites	Jacques Comeaux
8 days	Add commutative monoid conversions	Jacques Comeaux
8 days	Make setoids monoidal structure opaque	Jacques Comeaux
10 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
2025-10-15	Add symmetric monoidal versions	Jacques Comeaux
2025-10-15	Add monoidal categories for Nat and Nat-op	Jacques Comeaux
2025-10-15	Replace proof with new stdlib property	Jacques Comeaux