aboutsummaryrefslogtreecommitdiff
path: root/Data/System
AgeCommit message (Expand)Author
8 daysDefine Sys functor from Nat to SMCsJacques Comeaux
2026-01-01Update push, pull, and sys functorsJacques Comeaux
2025-12-06Add commutative monoid conversionsJacques Comeaux
2025-11-09Clean up System functorsJacques Comeaux
2025-10-28Split System into smaller modulesJacques Comeaux