diff options
| author | Camil Staps | 2015-09-05 00:34:32 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-09-05 00:34:32 +0200 |
| commit | fa158ad898036a63d0ba36bd92ec57b35b5ebeab (patch) | |
| tree | 9ac037cb3219c4b571a8e901fa71346fbe2a94c9 /ex9-3.tex | |
| parent | Ex 9.5/9.6 (diff) | |
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'], |