· @benjohn
42 followers · 1841 posts · Server noparticular.place#nLab has an entry on #Currying, but it doesn't (seem to?) mention a sum type #dual. https://ncatlab.org/nlab/show/currying #CategoryTheory
#nLab #Currying #dual #categorytheory
Last updated 1 year ago