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

DeBruijn: update a figure in the golden section to reflect a change in representation

Browse source
This commit is contained in:
Marko Dimjašević 2020-09-22 07:51:29 +02:00
parent 318ff6f491
commit edcf159ea9
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/part2/DeBruijn.lagda.md
View file

@ -1376,7 +1376,7 @@ number of lines of code is as follows:
Lambda 216
Properties 235
DeBruijn 275
DeBruijn 276
The relation between the two approaches approximates the
golden ratio: extrinsically-typed terms