[Haskell-cafe] Re: Semantics of uniqueness types for IO
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...
More information about the Haskell-Cafe