[Haskell-cafe] Re: Semantics of uniqueness types for IO

Jeff Polakow jeff.polakow at db.com
Fri Nov 2 16:02:12 EDT 2007


> I think you mean 
>     !U -o U 
> is a theorem. The converse is not provable. 
Oops... I should read more carefully before hitting send. 

This is of course completely wrong.

Sorry for the noise,


This e-mail may contain confidential and/or privileged information. If you 
are not the intended recipient (or have received this e-mail in error) 
please notify the sender immediately and destroy this e-mail. Any 
unauthorized copying, disclosure or distribution of the material in this 
e-mail is strictly forbidden.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20071102/fe26b703/attachment.htm

More information about the Haskell-Cafe mailing list