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

Lambda: make the argument name consistent with the latter text

Browse source
This commit is contained in:
Marko Dimjašević 2019-12-28 22:47:03 +01:00
parent 461c574f8d
commit 35e66258cc
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/part2/Lambda.lagda.md
View file

@ -72,7 +72,7 @@ Terms have seven constructs. Three are for the core lambda calculus:
Three are for the naturals:
* Zero `` `zero ``
* Successor `` `suc N ``
* Successor `` `suc M ``
* Case `` case L [zero⇒ M |suc x ⇒ N ] ``
And one is for recursion: