aboutsummaryrefslogtreecommitdiff
path: root/Data/Fin
AgeCommit message (Expand)Author
8 daysAdd symmetric monoidal structure to Push functorJacques Comeaux
2025-10-10Add Push and Pull functorsJacques Comeaux