Deriving for newtypes

Donald Bruce Stewart dons at cse.unsw.edu.au
Tue Apr 4 09:14:35 EDT 2006


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




More information about the Haskell-prime mailing list