ross:

On Tue, Apr 04, 2006 at 01:49:13PM +0400, Bulat Ziganshin wrote:

...

as i see, it was some form of formal specification for subj:

http://www.cse.unsw.edu.au/~dons/haskell-1990-2000/msg05468.html

This is the special case of Twan's translation for a restricted form of method types: functions, tuples and lists.

Just for the record, Bulat's ptr to: http://www.cse.unsw.edu.au/~dons/haskell-1990-2000/msg05468.html is now: http://www.cse.unsw.edu.au/~dons/haskell-1990-2000/msg06641.html after I noticed around 1000 mails had been concatenated in the htmlisation of the archive, tweaked my tools , and regnenerated the pages. -- Don