aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Nat
AgeCommit message (Expand)Author
12 daysGeneralize systems to (co)commutative (co)monoidsJacques Comeaux
2026-07-07Update circuit valuesJacques Comeaux
2026-03-14Refactor systems and add looped systemsJacques Comeaux
2026-01-13Move values moduleJacques Comeaux
2026-01-11Construct SM nat trans from Circ to SysJacques Comeaux
2026-01-10Define Sys functor from Nat to SMCsJacques Comeaux
2026-01-01Update push, pull, and sys functorsJacques Comeaux
2025-12-13Redefine circuit functorJacques Comeaux
2025-11-09Use functional vector in edge definitionJacques Comeaux
2025-11-09Clean up System functorsJacques Comeaux
2025-11-05Adjust universe levelsJacques Comeaux
2025-11-03Use permutation for equivalence of hypergraphsJacques Comeaux
2025-10-30Add Circ functorJacques Comeaux
2025-10-29Add Edge functorJacques Comeaux
2025-10-28Split System into smaller modulesJacques Comeaux
2025-10-22Simplify System definition and add System functorJacques Comeaux
2025-10-16Add Preimage symmetric monoidal functorJacques Comeaux
2025-10-10Add Push and Pull functorsJacques Comeaux
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-21 21:50:17 +0000