aboutsummaryrefslogtreecommitdiff
path: root/Data/System/Values.agda
AgeCommit message (Collapse)Author
2025-11-09Clean up System functorsJacques Comeaux
2025-10-28Split System into smaller modulesJacques Comeaux
generated by cgit v1.2.3 (git 2.39.1) at 2025-11-29 09:08:00 +0000