On 08/08/2013 05:05 PM, Tom Ellis wrote: > On Thu, Aug 08, 2013 at 03:38:41PM +0200, Jerzy Karczmarczuk wrote: >>> One could simply implement IO as a free monad >> Interesting. I wonder how. > > See [1] for an explanation of free monads in general
You're lacking a matching definition of [1] :)
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
