aboutsummaryrefslogtreecommitdiff
path: root/NaturalTransformation/Instance/EmptyList.agda
AgeCommit message (Expand)Author
30 hoursMake list natural transformations level-polymorphicJacques Comeaux
33 hoursAdd empty list and append natural transformationsJacques Comeaux