I found that when applying a functor, the usages of spaces are inconsistent. Some are like F f, while others would add an explicit space like F\ f. Now I am not sure which one is more correct. I am choosing the first one because it seems to have more usages.
I found that when applying a functor, the usages of spaces are inconsistent. Some are like
F f
, while others would add an explicit space likeF\ f
. Now I am not sure which one is more correct. I am choosing the first one because it seems to have more usages.