Lennart Augustsson <lenn...@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.fairba...@cl.cam.ac.uk _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe