Re: [Caja] Functional auditor for Cajita
David-Sarah Hopwood <[email protected]>
| Newsgroups | gmane.comp.lang.e.general |
|---|---|
| Message-ID | <[email protected]> |
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 _______________________________________________ e-lang mailing list [email protected] http://www.eros-os.org/mailman/listinfo/e-lang
signature.asc
(application/pgp-signature, 292 B)
-----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.12 (MingW32) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iF4EAREIAAYFAkskqfkACgkQWUc8YzyzqAdz0QEAhBx6IQ0aWsc8dG9GnZXgWlBd tU0b8zrBkc9dCo0UJTMA/RmHN5wzDLWCW40RSBwi1Iqi0wvvMBWloutAWtRI4BFk =OoTa -----END PGP SIGNATURE-----