On 20 November 2010 12:05, Tillmann Rendel
<[email protected]> 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
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to