X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=48c69b9d0f50bdfb1dd71c95994f13ff504e9457;hp=40663f37cf2edb95d728da97f2e41d7e4e1cbc4b;hb=19c17205efa182b80916caa31afeadad9d2dd5b5;hpb=6b45e9cc13a588fe45096dfa9e8b54c606ed3c32

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 40663f3..48c69b9 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -331,7 +331,7 @@
       \startlambda
       λbndr.body
       \stoplambda
-      This is the basic lambda abstraction, as it occurs in labmda calculus.
+      This is the basic lambda abstraction, as it occurs in lambda calculus.
       It consists of a binder part and a body part.  A lambda abstraction
       creates a function, that can be applied to an argument. The binder is
       usually a value binder, but it can also be a \emph{type binder} (or