fix listings, process comments

[msc-thesis1617.git] / edsl.deep.tex

diff --git a/edsl.deep.tex b/edsl.deep.tex
index fa9d380..bd2389d 100644 (file)
--- a/edsl.deep.tex
+++ b/edsl.deep.tex
@@ -3,7 +3,7 @@ functions that transform something to the datatype or the other way around. As
 an example, take the simple arithmetic \gls{EDSL} shown in
 Listing~\ref{lst:exdeep}.
 
-\begin{lstlisting}[label={lst:exdeep},%
+\begin{lstlisting}[language=Clean,label={lst:exdeep},%
        caption={A minimal deep \gls{EDSL}}]
 :: DSL
        = LitI  Int
@@ -31,7 +31,7 @@ using bimaps or projection pairs~\cite{cheney_lightweight_2002}. Unfortunately
 the lack of extendability remains a problem. If a language construct is added,
 no compile time guarantee is given that all views support it.
 
-\begin{lstlisting}[label={lst:exdeepgadt},%
+\begin{lstlisting}[language=Clean,label={lst:exdeepgadt},%
        caption={A minimal deep \gls{EDSL} using \glspl{GADT}}]
 :: DSL a
        =     LitI  Int                   -> DSL Int