aboutsummaryrefslogtreecommitdiff
path: root/Functor/Instance/Nat/System
AgeCommit message (Collapse)Author
12 daysGeneralize systems to (co)commutative (co)monoidsJacques Comeaux