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

that they only -> that the only

Browse source
This commit is contained in:
Juhana Laurinharju 2018-05-10 20:37:58 +03:00
parent 1cddc51221
commit f980058472
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/Equality.lagda
View file

@ -402,7 +402,7 @@ as earlier examples have shown.
## Extensionality {#extensionality} ## Extensionality {#extensionality}
Extensionality asserts that they only way to distinguish functions is Extensionality asserts that the only way to distinguish functions is
by applying them; if two functions applied to the same argument always by applying them; if two functions applied to the same argument always
yield the same result, then they are the same functions. It is the yield the same result, then they are the same functions. It is the
converse of `cong-app`, introduced earlier. converse of `cong-app`, introduced earlier.