aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
9 hoursAdd Circ functormainJacques Comeaux
11 hoursAdd free functor from setoids to monoids in setoidsJacques Comeaux
11 hoursMake list natural transformations level-polymorphicJacques Comeaux
15 hoursAdd empty list and append natural transformationsJacques Comeaux
32 hoursAdd Edge functorJacques Comeaux
33 hoursAdd List functorJacques Comeaux
40 hoursUpdate hypergraph equivalenceJacques Comeaux
40 hoursAdd Circuit typeJacques Comeaux
40 hoursRefactor list-based hypergraphsJacques Comeaux
2 daysAdd second level parameter to Setoids SMCJacques Comeaux
2 daysMerge branch 'hypergraph-conversion'Jacques Comeaux
3 daysSplit System into smaller modulesJacques Comeaux
3 daysAdd symmetric monoidal structure to Pull and SystemJacques Comeaux
4 daysAdd inverted unitary rules for strong monoidal functorsJacques Comeaux
4 daysAdd inverted associativity for strong monoidal functorsJacques Comeaux
9 daysSimplify System definition and add System functorJacques Comeaux
9 daysSetoid-ify System definitionJacques Comeaux
9 daysAdd symmetric monoidal structure to Push functorJacques Comeaux
2025-10-16Add Preimage symmetric monoidal functorJacques Comeaux
2025-10-15Improve terminology in commentJacques Comeaux
2025-10-15Add symmetric monoidal versionsJacques Comeaux
2025-10-15Add monoidal categories for Nat and Nat-opJacques Comeaux
2025-10-15Replace proof with new stdlib propertyJacques Comeaux
2025-10-15Use new if-then-else propertyJacques Comeaux
2025-10-15Strengthen permutation sort theoremJacques Comeaux
2025-10-14Add local foldl for VectorsJacques Comeaux
2025-10-10Add Push and Pull functorsJacques Comeaux
2025-08-12Add preliminary setoid of discrete dynamical systemsJacques Comeaux
2025-08-12Add lattice of logical circuit valuesJacques Comeaux
2025-07-19Import missing pattern synonymJacques Comeaux
2025-07-19Show equivalence of old and new Hypergraph setoidsJacques Comeaux
2025-07-18Fix importsJacques Comeaux
2025-07-18Add Hypergraph setoidJacques Comeaux
2025-07-18Sorted lists with the same elements are equalJacques Comeaux
2025-07-18Convert between List and Vector permutationsJacques Comeaux
2025-07-09Fix broken importJacques Comeaux
2025-07-09Allow arity-0 hyperedges in functional hypergraphsJacques Comeaux
2025-07-09Split hypergraph label and edge into separate filesJacques Comeaux
2025-07-03Add S-Expression parser and circuit typecheckerJacques Comeaux
2025-07-03Finish strict total order for hypergraph edgesJacques Comeaux
2025-07-01Begin strict total order for hypergraph edgesJacques Comeaux
2025-06-19Add new hypergraph definitionsJacques Comeaux
2025-05-19Add racket language for labeled hypergraphsJacques Comeaux
2025-05-01Update trivial decoration functorJacques Comeaux
2025-05-01Update graph decoration functorJacques Comeaux
2025-05-01Add labeled hypergraph decoration functorJacques Comeaux
2025-04-29Add hypergraph decoration functorJacques Comeaux
2025-04-23Category of decorated cospans is symmetric monoidalJacques Comeaux
2025-02-08Define tensor product of decorated cospansJacques Comeaux
2025-02-08Add symmetric braiding to category of cospansJacques Comeaux
generated by cgit v1.2.3 (git 2.39.1) at 2025-10-31 09:35:36 +0000