[Haskell-cafe] Origins of '$'

Arnar Birgisson 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 mailing list