circuits - Tiny circuits DSL

Age	Commit message (Expand)	Author
22 hours	Add empty list and append natural transformations	Jacques Comeaux
39 hours	Add Edge functor	Jacques Comeaux
40 hours	Add List functor	Jacques Comeaux
47 hours	Update hypergraph equivalence	Jacques Comeaux
47 hours	Add Circuit type	Jacques Comeaux
48 hours	Refactor list-based hypergraphs	Jacques Comeaux
3 days	Add second level parameter to Setoids SMC	Jacques Comeaux
3 days	Merge branch 'hypergraph-conversion'	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
9 days	Setoid-ify System definition	Jacques Comeaux
9 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-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
2025-10-15	Use new if-then-else property	Jacques Comeaux
2025-10-15	Strengthen permutation sort theorem	Jacques Comeaux
2025-10-14	Add local foldl for Vectors	Jacques Comeaux
2025-10-10	Add Push and Pull functors	Jacques Comeaux
2025-08-12	Add preliminary setoid of discrete dynamical systems	Jacques Comeaux
2025-08-12	Add lattice of logical circuit values	Jacques Comeaux
2025-07-19	Import missing pattern synonym	Jacques Comeaux
2025-07-19	Show equivalence of old and new Hypergraph setoids	Jacques Comeaux
2025-07-18	Fix imports	Jacques Comeaux
2025-07-18	Add Hypergraph setoid	Jacques Comeaux
2025-07-18	Sorted lists with the same elements are equal	Jacques Comeaux
2025-07-18	Convert between List and Vector permutations	Jacques Comeaux
2025-07-09	Fix broken import	Jacques Comeaux
2025-07-09	Allow arity-0 hyperedges in functional hypergraphs	Jacques Comeaux
2025-07-09	Split hypergraph label and edge into separate files	Jacques Comeaux
2025-07-03	Add S-Expression parser and circuit typechecker	Jacques Comeaux
2025-07-03	Finish strict total order for hypergraph edges	Jacques Comeaux
2025-07-01	Begin strict total order for hypergraph edges	Jacques Comeaux
2025-06-19	Add new hypergraph definitions	Jacques Comeaux
2025-05-19	Add racket language for labeled hypergraphs	Jacques Comeaux
2025-05-01	Update trivial decoration functor	Jacques Comeaux
2025-05-01	Update graph decoration functor	Jacques Comeaux
2025-05-01	Add labeled hypergraph decoration functor	Jacques Comeaux
2025-04-29	Add hypergraph decoration functor	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-08	Add symmetric braiding to category of 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
2025-02-03	Update agda-categories version	Jacques Comeaux