From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 16 Mar 2016 17:27:19 +0000 (+0100)
Subject: cleaned up clean.sty
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=84eef96578e71866127e804bc265359c874aac68;p=cc1516.git

cleaned up clean.sty
---

diff --git a/deliverables/p1/clean.sty b/deliverables/p1/clean.sty
index f7088f1..046c239 100644
--- a/deliverables/p1/clean.sty
+++ b/deliverables/p1/clean.sty
@@ -1,62 +1,62 @@
 \usepackage{listings}
 
-\lstdefinelanguage{Clean}{
-    alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
-    alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
-   morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive},
-    sensitive=true,
-    morecomment=[l]{//},
-    morecomment=[n]{/*}{*/},
-    morestring=[b]",
-    morestring=[b]',
-    emptylines=1,
-    basicstyle=\small,
-    identifierstyle=\small\ttfamily,
-    commentstyle=\itshape,
-    keywordstyle=\bfseries,
-    stringstyle=\ttfamily,
-    numbers=none,
-    showstringspaces=false,
-    basewidth=0.45em,
-    columns=[c]fixed,
-    keepspaces=true,
-    breaklines=false,
-    tabsize=4,
-    texcl=true,
-    escapeinside={(\#}{\#)},
-    literate=   %
-                % Basic Clean constructs
-                {\\}{{$\lambda\:$}}1
-                {A.}{{$\forall\;\,$}}1
-                {E.}{{$\exists\;\,$}}1
-                {>}{{$>$}}1
-				{<}{{$<$}}1
-                {<=}{{$\leq$}}1
-                {>=}{{$\geq$}}1
-                {<>}{{$\neq$}}1
-                {->}{{$\rightarrow$}}2
-                {<-}{{$\leftarrow$}}1
-                {=}{{$=$}}1
-                {~}{{$\sim$}}1
-               % {\#}{{$\sharp$}}1
-                {\{|}{{$\{\!|\!$}}1
-                {|\}}{{$\!|\!\}$}}1
-                {:=}{{$:=$}}2
-                {==}{{$==$}}2
-                {++}{{$+\!\!+$}}2
-                {+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
-                {:==}{{$:==$}}3
-                {\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
-                %
-                % Basic iTask constructs
-                {>||>}{{$\triangleright\triangleright$}}2
-                {>>=}{{\texttt{>>=}}}3
-                {>>|}{{\texttt{>>|}}}3
-                {?>>}{{\texttt{?>>}}}3
-                {!>>}{{\texttt{!>>}}}3
-                {-||-}{{\texttt{-||-}}}4
-                {.||.}{{\texttt{.||.}}}4
-                {.&&.}{{\texttt{.\&\&.}}}4
+\lstdefinelanguage{Clean}{%
+	alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
+	alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
+	morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive},
+	sensitive=true,
+	morecomment=[l]{//},
+	morecomment=[n]{/*}{*/},
+	morestring=[b]",
+	morestring=[b]',
+	emptylines=1,
+	basicstyle=\small,
+	identifierstyle=\small\ttfamily,
+	commentstyle=\itshape,
+	keywordstyle=\bfseries,
+	stringstyle=\ttfamily,
+	numbers=none,
+	showstringspaces=false,
+	basewidth=0.45em,
+	columns=[c]fixed,
+	keepspaces=true,
+	breaklines=false,
+	tabsize=4,
+	texcl=true,
+	escapeinside={(\#}{\#)},
+	literate=%
+		% Basic Clean constructs
+		{\\}{{$\lambda\:$}}1
+		{A.}{{$\forall\;\,$}}1
+		{E.}{{$\exists\;\,$}}1
+		{>}{{$>$}}1
+		{<}{{$<$}}1
+		{<=}{{$\leq$}}1
+		{>=}{{$\geq$}}1
+		{<>}{{$\neq$}}1
+		{->}{{$\rightarrow$}}2
+		{<-}{{$\leftarrow$}}1
+		{=}{{$=$}}1
+		{~}{{$\sim$}}1
+		 {\#}{{$\sharp$}}1
+		{\{|}{{$\{\!|\!$}}1
+		{|\}}{{$\!|\!\}$}}1
+		{:=}{{$:=$}}2
+		{==}{{$==$}}2
+		{++}{{$+\!\!+$}}2
+		{+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
+		{:==}{{$:==$}}3
+		{\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
+		%
+		% Basic iTask constructs
+		{>||>}{{$\triangleright\triangleright$}}2
+		{>>=}{{\texttt{>>=}}}3
+		{>>|}{{\texttt{>>|}}}3
+		{?>>}{{\texttt{?>>}}}3
+		{!>>}{{\texttt{!>>}}}3
+		{-||-}{{\texttt{-||-}}}4
+		{.||.}{{\texttt{.||.}}}4
+		{.&&.}{{\texttt{.\&\&.}}}4
 }
 
 \newcommand{\CleanInline}[1]{\lstinline[language=Clean]¦#1¦}