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

Denotational: remove a double 'to'

Browse source
This commit is contained in:
Marko Dimjašević 2020-01-27 21:42:17 +01:00
parent d7143136ef
commit 8aff938f71
No known key found for this signature in database
GPG key ID: 565EE9641503F0AA
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