aboutsummaryrefslogtreecommitdiff
path: root/NaturalTransformation
AgeCommit message (Expand)Author
2025-10-30Make list natural transformations level-polymorphicJacques Comeaux
2025-10-30Add empty list and append natural transformationsJacques Comeaux