Notation `A -c> B` makes no sense
The c
goes back to the time we solely used COFEs, now that we use OFEs, this notation makes no sense whatsoever.
The c
goes back to the time we solely used COFEs, now that we use OFEs, this notation makes no sense whatsoever.