On 2009 Apr 10, at 0:52, Jonathan Cast wrote:
On Fri, 2009-04-10 at 00:46 -0400, Brandon S. Allbery KF8NH wrote:
IO a  ~  World -> (a, World)

I still don't understand this; we are passing a World and getting a
World back,

We are?  Why do you think that?

Because that's what (World -> (a,World)) means, last I checked.

--
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] [email protected]
system administrator [openafs,heimdal,too many hats] [email protected]
electrical and computer engineering, carnegie mellon university    KF8NH


Attachment: PGP.sig
Description: This is a digitally signed message part

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to