David-Sarah Hopwood wrote: > (Nor can we usefully weaken referential transparency to use different > versions of equality on the left and right of the implication, since > then it could not be applied compositionally.)
I should have said: we cannot usefully weaken referential transparency to use a coarser version of equality on the right than on the left. -- David-Sarah Hopwood ⚥ http://davidsarah.livejournal.com
signature.asc
Description: OpenPGP digital signature
