cleaned up clean.sty

diff --git a/deliverables/p1/clean.sty b/deliverables/p1/clean.sty
index f7088f1..046c239 100644 (file)
--- 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¦}