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