circuits - Tiny circuits DSL

Age	Commit message (Expand)	Author
21 hours	Add Circ functormain	Jacques Comeaux
23 hours	Add free functor from setoids to monoids in setoids	Jacques Comeaux
43 hours	Add Edge functor	Jacques Comeaux
45 hours	Add List functor	Jacques Comeaux
3 days	Split System into smaller modules	Jacques Comeaux
3 days	Add symmetric monoidal structure to Pull and System	Jacques Comeaux
4 days	Add inverted unitary rules for strong monoidal functors	Jacques Comeaux
5 days	Add inverted associativity for strong monoidal functors	Jacques Comeaux
9 days	Simplify System definition and add System functor	Jacques Comeaux
10 days	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-10	Add Push and Pull functors	Jacques Comeaux
2025-04-23	Category of decorated cospans is symmetric monoidal	Jacques Comeaux
2025-02-08	Define tensor product of decorated 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