From fa158ad898036a63d0ba36bd92ec57b35b5ebeab Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Sat, 5 Sep 2015 00:34:32 +0200 Subject: Use the Clean pygments lexer --- ex9-3.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'ex9-3.tex') 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'], -- cgit v1.2.3