Re: Equivalence classes

Philip Wadler <wadler@research.bell-labs.com> writes:

As currently spec'ed you can only nominate a global element as the
exemplar of an equivalence class, so you example is invalid to start
with.

In haste,

ht
-- 
  Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
          W3C Fellow 1999--2001, part-time member of W3C Team
     2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
	    Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
		     URL: http://www.ltg.ed.ac.uk/~ht/

Received on Friday, 18 February 2000 13:05:17 UTC