Precedent
lThis notation for
talking about a function goes back to (at
least) Bourbaki (French Mathematics Group), where
the symbol
was used instead of
=>
lAlonzo Church used the idea extensively, but with a different symbol l as a prefix. This notation requires some acclimation.
was used instead of
=>
lAlonzo Church used the idea extensively, but with a different symbol l as a prefix. This notation requires some acclimation.
