[Haskell-cafe] Origins of '$'
Richard O'Keefe
ok at cs.otago.ac.nz
Sun Dec 14 18:59:12 EST 2008
On 15 Dec 2008, at 12:52 pm, Derek Elkins wrote:
> I want to point out a quick categorical way of proving this (and
> almost
> all the other "arithmetic" laws follow similarly.) This is just
> continuity of right adjoints. The interesting thing is the
> adjunction,
> one that is commonly neglected in discussions of Cartesian closed
> categories.
December buds swell.
Categories unlimit
Haskell I once knew.
More information about the Haskell-Cafe
mailing list