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

Update Naturals.lagda.md

Browse source 
Correct wrong title. The book is called Begriffsschrift.
This commit is contained in:
Matthias Gabriel 2020-02-13 12:49:51 +01:00 committed by GitHub
parent f3fa4feb95
commit e2916d7642
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/part1/Naturals.lagda.md
View file

@ -627,7 +627,7 @@ since the same idea was previously proposed by Moses Schönfinkel in
the 1920's. I was told a joke: "It should be called schönfinkeling, the 1920's. I was told a joke: "It should be called schönfinkeling,
but currying is tastier". Only later did I learn that the explanation but currying is tastier". Only later did I learn that the explanation
of the misattribution was itself a misattribution. The idea actually of the misattribution was itself a misattribution. The idea actually
appears in the _Begriffschrift_ of Gottlob Frege, published in 1879. appears in the _Begriffsschrift_ of Gottlob Frege, published in 1879.
## The story of creation, revisited ## The story of creation, revisited