X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=dsl%2Ffirst.tex;fp=dsl%2Ffirst.tex;h=4170a6ff1035bedb18ee2f46f6cd6904037baf0f;hb=26745fe928b2c2d7bb4b6642107e0cd498f08ef7;hp=d6e7298a6acada8772198f07cdc661677d5751df;hpb=e339ca76d3bdebf7094d3e4cbb6eb9da82892a8f;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