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

Fix typo

Browse source
This commit is contained in:
Harrison Grodin 2020-12-25 21:21:12 -05:00 committed by GitHub
parent 6503d1f076
commit 1174f18ff7
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