aboutsummaryrefslogtreecommitdiff
path: root/Data/System/Monoidal.agda
AgeCommit message (Collapse)Author
15 hoursRefactor systems and add looped systemsJacques Comeaux
2026-01-13Move values moduleJacques Comeaux
2026-01-10Define Sys functor from Nat to SMCsJacques Comeaux