On 20 November 2010 12:05, Tillmann Rendel <ren...@mathematik.uni-marburg.de> wrote:
> I would expect the "exponential type" to be (a -> b): > Terminologically, "Bananas in Space" (!) agrees with you. http://www.cs.nott.ac.uk/~gmh/bananas.pdf Regards Stephen _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe