[Haskell-cafe] Re: Mysterious fact

Lennart Augustsson 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@cl.cam.ac.uk