aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Nat
AgeCommit message (Expand)Author
22 hoursAdd Circ functormainJacques Comeaux
45 hoursAdd Edge functorJacques Comeaux
3 daysSplit System into smaller modulesJacques Comeaux
9 daysSimplify System definition and add System functorJacques Comeaux
2025-10-16Add Preimage symmetric monoidal functorJacques Comeaux
2025-10-10Add Push and Pull functorsJacques Comeaux