[Haskell-cafe] Re: Mysterious fact

[Jon Fairbairn]

Lennart Augustsson <lennart at augustsson.net> writes:

> Jon, you beat me to it.  I was going to mention Ponder.

Strange chance; yesterday was the first time I read haskell café
for something like half a year.

> But Ponder did have a builtin type, it had the function type built in. :)

Well, to use the nomenclature of Ponder itself, (->) is a type
/generator/, not a type. So either it had no built-in types, or
it had infinitely many ;-)

-- 
Jón Fairbairn                                 Jon.Fairbairn at cl.cam.ac.uk