X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=139b93e56be69f2637efcffc785935e95bb77b9c;hp=ac4cc93e29023e8d319b54537cfa2a0f45eb968f;hb=901c9881c60ac1897aa8efb63d082798272e1ae7;hpb=ea10982d1bd7560c652e62516535b0b4ebe47cf6

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index ac4cc93..139b93e 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -666,12 +666,12 @@
         instance declaration. This dictionary, as well as the binder
         introduced by a lambda that introduces a dictionary, have the
         predicate type as their type. These binders are usually named starting
-        with a \lam{$}. Usually the name of the type concerned is not
+        with a \lam{\$}. Usually the name of the type concerned is not
         reflected in the name of the dictionary, but the name of the type
         class is. The Haskell expression \hs{show True} thus becomes:
 
         \startlambda
-        show @Bool $dShow True
+        show @Bool \$dShow True
         \stoplambda
       \stopdesc