aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Nat/Push.agda
AgeCommit message (Collapse)Author
2025-11-09Clean up System functorsJacques Comeaux
2025-10-28Split System into smaller modulesJacques Comeaux
2025-10-22Simplify System definition and add System functorJacques Comeaux
2025-10-10Add Push and Pull functorsJacques Comeaux