label the function going from X->Y would be how I was intending that to be read....

kian on Aug 16, 2023 | parent | context | favorite | on: How should I read type system notation?

label the function going from X->Y would be how I was intending that to be read. I'm well aware that X->Y is a type signature ;)