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

Merge pull request #464 from MatthiasGabriel/typo/begriffsschrift

Browse source 
Correct wrong book title
This commit is contained in:
Wen Kokke 2020-02-13 12:32:39 +00:00 committed by GitHub
commit 10bfcebc44
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,
but currying is tastier". Only later did I learn that the explanation
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