michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #18 from michel-steuwer/currying-associativity

Browse source 
Associativity of arrows and function application
This commit is contained in:
wadler 2018-05-14 11:40:49 -03:00 • committed by GitHub
commit 6eacd5f58e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Naturals.lagda
View file

@ -575,7 +575,7 @@ second argument. This trick goes by the name *currying*.
Agda, like other functional languages such as
ML and Haskell, is designed to make currying easy to use. Function
arrows associate to the left and application associates to the right.
arrows associate to the right and application associates to the left.
ℕ → ℕ → ℕ stands for ℕ → (ℕ → ℕ)