2008/3/15 Greg Meredith <[EMAIL PROTECTED]>: > All, > > > The following Haskell code gives a 2-level type analysis of a > functorial approach to introducing naming and name management into a > given (recursive) data type. The analysis is performed by means of an
What's the upshot of this? That is, what does this analysis give you? I mostly follow the argument but I don't understand the benefits. I feel like I'm missing something. Justin _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe