[m-rev.] More additions to book

Michael Day mikeday at yeslogic.com
Fri Oct 11 12:34:13 AEST 2002


+The constraint @=> stringable(T)@ has the arrow pointing in a different
+deirection, because existentially quantified types place a burden on the
+\emph{caller's} ability to handle a value, rather than the

s/deirection/direction/

Michael

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list