aboutsummaryrefslogtreecommitdiff
path: root/NaturalTransformation/Instance/EmptyList.agda
AgeCommit message (Collapse)Author
46 hoursMake list natural transformations level-polymorphicJacques Comeaux
2 daysAdd empty list and append natural transformationsJacques Comeaux