Janis Voigtlaender wrote:
http://wwwtcs.inf.tu-dresden.de/~voigt/mpc08.pdf
"It is well-known that trees with substitution form a monad."...OK, I just learned something new. Hanging around Haskell Cafe can be so illuminating! :-)
Now, if only I could actually comprehend the rest of the paper... o_O _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
