aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Nat/Preimage.agda
AgeCommit message (Expand)Author
28 hoursSplit System into smaller modulesJacques Comeaux
13 daysAdd Preimage symmetric monoidal functorJacques Comeaux