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

Fix typo: Use angle brackets for pair in text

Browse source
This commit is contained in:
Juhana Laurinharju 2018-05-14 21:24:52 +03:00
parent 5ffb1c9876
commit a44923927e
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/Connectives.lagda
View file

@ -663,7 +663,7 @@ is isomorphic to a function that accepts a pair of arguments:
Agda is optimised for currying, so `2 + 3` abbreviates `_+_ 2 3`.
In a language optimised for pairing, we would instead take `2 +′ 3` as
an abbreviation for `_+′_ (2 , 3)`.
an abbreviation for `_+′_ ⟨ 2 , 3 ⟩`.
Corresponding to the law