process the rest of Pieter's comments

[phd-thesis.git] / dsl / first.tex

diff --git a/dsl/first.tex b/dsl/first.tex
index d6e7298..4170a6f 100644 (file)
--- a/dsl/first.tex
+++ b/dsl/first.tex
@@ -589,7 +589,7 @@ unCk d f
     )
 \end{lstHaskell}
 
-The implementation for this is a little elaborate and it heavily uses the \haskellinline{pl} function, a helper function that translates a string literal \haskellinline{s} to \haskellinline{[|printLit \$(lift s)|]}, i.e.\ it lifts the \haskellinline{printLit} function to the \gls{TH} domain.
+The implementation for this is a little elaborate and it heavily uses the \haskellinline{pl} function, a helper function that translates a string literal \haskellinline{s} to \haskellinline{[\|printLit \$(lift s)\|]}, i.e.\ it lifts the \haskellinline{printLit} function to the \gls{TH} domain.
 
 \begin{lstHaskell}
 mkDeconstructor :: Name -> [VarBangType] -> Q Dec