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

Merge pull request #550 from HarrisonGrodin/patch-1

Browse source 
Fix typo in DeBruijn chapter
This commit is contained in:
Philip Wadler 2020-12-26 14:35:00 +00:00 committed by GitHub
commit 48cf581002
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/part2/DeBruijn.lagda.md
View file

@ -1374,7 +1374,7 @@ number of lines of code is as follows:
The relation between the two approaches approximates the
golden ratio: extrinsically-typed terms
require about 1.6 times as much code as intrinsicaly-typed.
require about 1.6 times as much code as intrinsically-typed.
## Unicode