[e-lang] [Caja] Functional auditor for Cajita

[David-Sarah Hopwood]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 292 bytes
Desc: OpenPGP digital signature
Url : http://www.eros-os.org/pipermail/e-lang/attachments/20091213/72e97ba6/attachment.bin