aboutsummaryrefslogtreecommitdiff
path: root/Data/Setoid.agda
AgeCommit message (Expand)Author
8 daysDefine Sys functor from Nat to SMCsJacques Comeaux
2025-10-28Split System into smaller modulesJacques Comeaux