On Thu, Sep 4, 2008 at 1:46 PM, Pierre-Evariste Dagand <[EMAIL PROTECTED]> wrote: >> what could be a "categorical language"? > > Something we would call Charity, for example :-) >
Also check out Tatsuya Hagino's PhD thesis, available here: http://www.tom.sfc.keio.ac.jp/~hagino/index.html.en It's a precursor to the Charity work, and a very nice presentation of the ideas. Take care... Matt _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
