[Haskell-cafe] Origins of '$'
arnarbi at gmail.com
Tue Dec 9 09:48:37 EST 2008
On Mon, Dec 8, 2008 at 23:10, Dan Piponi <dpiponi at gmail.com> 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:
suggests that the application operator was suggested by Kent Karlsson,
but I couldn't find the actual suggestion though.
More information about the Haskell-Cafe