Use \$ instead of just $ in lambda expressions.

[matthijs/master-project/report.git] / Chapters / Normalization.tex

diff --git a/Chapters/Normalization.tex b/Chapters/Normalization.tex
index 0f6d0eb23ecdff6c32920ee5b4ea20b6ee67ec68..e2f3a968dec9a656c8970f2439375e6ec7868302 100644 (file)
--- a/Chapters/Normalization.tex
+++ b/Chapters/Normalization.tex
@@ -958,12 +958,12 @@
 
         \startbuffer[from]
         (+) :: Word -> Word -> Word
 
         \startbuffer[from]
         (+) :: Word -> Word -> Word

-        (+) = GHC.Num.(+) @Word $dNum
+        (+) = GHC.Num.(+) @Word \$dNum

         ~
         (+) a b
         \stopbuffer
         \startbuffer[to]
         ~
         (+) a b
         \stopbuffer
         \startbuffer[to]

-        GHC.Num.(+) @ Alu.Word $dNum a b
+        GHC.Num.(+) @ Alu.Word \$dNum a b

         \stopbuffer
 
         \transexample{toplevelinline}{Top level binding inlining}{from}{to}
         \stopbuffer
 
         \transexample{toplevelinline}{Top level binding inlining}{from}{to}