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

Lambda: give the suc constructor is the text with an argument

Browse source
This commit is contained in:
Marko Dimjašević 2019-12-28 22:40:02 +01:00
parent a77284a415
commit 461c574f8d
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 ``
* Successor `` `suc N ``
* Case `` case L [zero⇒ M |suc x ⇒ N ] ``
And one is for recursion: