[Haskell-cafe] Categorical language

[Matt Hellige]

On Thu, Sep 4, 2008 at 1:46 PM, Pierre-Evariste Dagand
<pedagand at gmail.com> 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