From: Mart Lubbers 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¦}