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

Merge pull request #338 from mdimjasevic/prop-type-name

Browse source 
Properties: fixes the plural of a noun
This commit is contained in:
Philip Wadler 2019-07-11 17:39:23 -03:00 committed by GitHub
commit f283c1fcbd
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/Properties.lagda
View file

@ -638,7 +638,7 @@ relevant variable in the patterns for `` ⊢` ``, `⊢ƛ`, `⊢case`, and `⊢μ
Using the name `y` here is consistent with the naming in the original
definition of substitution in the previous chapter. The proof never
mentions the types of `x`, `y`, `V`, or `N`, so in what follows we
choose type name as convenient.
choose type names as convenient.
Now that naming is resolved, let's unpack the first three cases: