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

Fix typo: argument to arguments

Browse source
This commit is contained in:
Mo Mirza 2019-09-11 00:32:52 +01:00 committed by GitHub
parent 4841f3d879
commit 5ae3b56ccc
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/plfa/part1/Naturals.lagda.md
View file

@ -309,7 +309,7 @@ zero + n = n
``` ```
Let's unpack this definition. Addition is an infix operator. It is Let's unpack this definition. Addition is an infix operator. It is
written with underbars where the argument go, hence its name is written with underbars where the arguments go, hence its name is
`_+_`. The first line is a signature specifying the type of the operator. `_+_`. The first line is a signature specifying the type of the operator.
The type `ℕ → ℕ → ℕ`, indicates that addition accepts two naturals The type `ℕ → ℕ → ℕ`, indicates that addition accepts two naturals
and returns a natural. Infix notation is just a shorthand for application; and returns a natural. Infix notation is just a shorthand for application;