From e2916d76428ab298bdd9e36d86e8f64cbdb9bdfc Mon Sep 17 00:00:00 2001 From: Matthias Gabriel Date: Thu, 13 Feb 2020 12:49:51 +0100 Subject: [PATCH] Update Naturals.lagda.md Correct wrong title. The book is called Begriffsschrift. --- src/plfa/part1/Naturals.lagda.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plfa/part1/Naturals.lagda.md b/src/plfa/part1/Naturals.lagda.md index 09961da0..ebe77eb7 100644 --- a/src/plfa/part1/Naturals.lagda.md +++ b/src/plfa/part1/Naturals.lagda.md @@ -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