X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=dsl%2Ffirst.tex;h=4170a6ff1035bedb18ee2f46f6cd6904037baf0f;hb=3044eec5a52dcd464ecfe502a521d09689f48f06;hp=d6e7298a6acada8772198f07cdc661677d5751df;hpb=55d92612436b8bed8a114e6dc49ce86d7cb96bea;p=phd-thesis.git

diff --git a/dsl/first.tex b/dsl/first.tex
index d6e7298..4170a6f 100644
--- 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