[Haskell-cafe] type questions again....
ithika at gmail.com
Fri Jan 11 11:54:50 EST 2008
On 11/01/2008, Nicholls, Mark <Nicholls.Mark at mtvne.com> wrote:
> Preferably illustrating it in terms of logic rather than lambda calculus.
> There's plenty of stuff out there on it….but most of it seems double dutch
> (no offense to the dutch intended).
I think the preferred idiom, considering the notation, is that "it's
all Greek to me" ;-)
dougal at dougalstanton.net // http://www.dougalstanton.net
More information about the Haskell-Cafe