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. _______________________________________________ Haskell-prime mailing list [email protected] http://haskell.org/mailman/listinfo/haskell-prime
