On Wed, May 14, 2008 at 12:03 PM, Andrew Coppin <[EMAIL PROTECTED]> wrote:
> "It is well-known that trees with substitution form a monad." Now that's funny. Compare with the first line of this paper: http://citeseer.ist.psu.edu/510658.html Anyway, I worked through an elementary example of this with usable source code here: http://sigfpe.blogspot.com/2006/11/variable-substitution-gives.html -- Dan _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
