aboutsummaryrefslogtreecommitdiff
path: root/Data/System/Monoidal.agda
AgeCommit message (Expand)Author
2026-01-13Move values moduleJacques Comeaux
2026-01-10Define Sys functor from Nat to SMCsJacques Comeaux
generated by cgit v1.2.3 (git 2.39.1) at 2026-01-28 20:01:07 +0000