aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Nat/Push.agda
AgeCommit message (Expand)Author
4 daysSplit System into smaller modulesJacques Comeaux
10 daysSimplify System definition and add System functorJacques Comeaux
2025-10-10Add Push and Pull functorsJacques Comeaux