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

Merge pull request #19 from Fingerzam/connectives-pair-parens

Browse source 
Fix typo: Use angle brackets for pair in text
This commit is contained in:
wadler 2018-05-15 13:06:43 -03:00 • committed by GitHub
commit 1fc35aa080
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/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