4 Apr
2006
4 Apr
'06
8:49 a.m.
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.