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