On Mon, Dec 8, 2008 at 23:10, Dan Piponi <[EMAIL PROTECTED]> wrote:
> More generally, all of Tarski's "high school algebra" axioms carry
> over to types. You can see the axioms here:
> http://math.bu.edu/people/kayeats/papers/saga_paper4.ps That proves
> type theory is child's play :-)
Ah, the power of a well chosen notation :)
As for the original question, this message:
http://www.cse.unsw.edu.au/~dons/haskell-1990-2006/msg00675.html
suggests that the application operator was suggested by Kent Karlsson,
but I couldn't find the actual suggestion though.
cheers,
Arnar
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
