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