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

Merge pull request #458 from mdimjasevic/denot-untyped-to

Browse source 
Denotational semantics: remove a double 'to'
This commit is contained in:
Philip Wadler 2020-01-27 15:27:38 -06:00 committed by GitHub
commit c50f5713bc
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/part3/Denotational.lagda.md
View file

@ -27,7 +27,7 @@ would seem that we would need infinitely long tables to represent
functions. Second, in the lambda calculus, functions can be applied to
functions. They can even be applied to themselves! So it would seem
that the tables would contain cycles. One might start to worry that
advanced techniques are necessary to to address these issues, but
advanced techniques are necessary to address these issues, but
fortunately this is not the case!
The first problem, of functions with infinite domains, is solved by