diff options
Diffstat (limited to 'ex9-3.tex')
| -rw-r--r-- | ex9-3.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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'], |