aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Nat/System.agda
AgeCommit message (Collapse)Author
3 daysSplit System into smaller modulesJacques Comeaux
9 daysSimplify System definition and add System functorJacques Comeaux