aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--ex9-3.tex4
-rw-r--r--ex9-4.tex2
-rw-r--r--ex9-5.tex2
3 files changed, 4 insertions, 4 deletions
diff --git a/ex9-3.tex b/ex9-3.tex
index d849919..1a34fe7 100644
--- a/ex9-3.tex
+++ b/ex9-3.tex
@@ -32,7 +32,7 @@
\end{figure*}
\begin{figure}[h]
- \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{text}
+ \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{clean}
tape_9_3_b = [Just c \\ c <- fromString "abbaba"]
ex_9_3_b :: TuringMachine Char
ex_9_3_b = { alphabet = ['a', 'b', 'X', 'Y'],
@@ -106,7 +106,7 @@
\end{figure*}
\begin{figure}[h]
- \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{text}
+ \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{clean}
ex_9_3_c :: TuringMachine Char
ex_9_3_c = { alphabet = ['a', 'b', 'X'],
inputs = ['a', 'b'],
diff --git a/ex9-4.tex b/ex9-4.tex
index 8109d68..a24c240 100644
--- a/ex9-4.tex
+++ b/ex9-4.tex
@@ -27,7 +27,7 @@
\end{figure*}
\begin{figure}[h]
- \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{text}
+ \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{clean}
tape_9_4 = [Just c \\ c <- fromString "baaabbaaacabab"]
ex_9_4 :: TuringMachine Char
ex_9_4 = { alphabet = ['a', 'b', 'c'],
diff --git a/ex9-5.tex b/ex9-5.tex
index 183213c..abda635 100644
--- a/ex9-5.tex
+++ b/ex9-5.tex
@@ -59,7 +59,7 @@
\end{figure*}
\begin{figure}[h]
- \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{text}
+ \begin{minted}[bgcolor=mintedbg,tabsize=0,fontsize=\footnotesize]{clean}
tape_9_5_c = [Just c \\ c <- fromString "abbabbabaa"]
ex_9_5_c :: TuringMachine Char
ex_9_5_c = { alphabet = ['a', 'b'],