aboutsummaryrefslogtreecommitdiff
path: root/Data/System/Looped/Monoidal.agda
AgeCommit message (Collapse)Author
12 daysGeneralize systems to (co)commutative (co)monoidsJacques Comeaux
2026-03-14Refactor systems and add looped systemsJacques Comeaux