aboutsummaryrefslogtreecommitdiff
path: root/Category/Instance/Nat
AgeCommit message (Expand)Author
2024-11-05Add trivial and graph decoration functorsmainJacques Comeaux