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

clean.sty
---

diff --git a/deliverables/p1/clean.sty b/deliverables/p1/clean.sty
new file mode 100644
index 0000000..f7088f1
--- /dev/null
+++ b/deliverables/p1/clean.sty
@@ -0,0 +1,70 @@
+\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
+}
+
+\newcommand{\CleanInline}[1]{\lstinline[language=Clean]¦#1¦}
+\newcommand{\CI}[1]{\CleanInline{#1}}
+
+\lstdefinestyle{numbers}{numbers=left, stepnumber=1, numberstyle=\tiny, numbersep=5pt}
+
+\lstnewenvironment{CleanCode}{\lstset{language=Clean,identifierstyle=\ttfamily}}{}
+\lstnewenvironment{CleanCodeN}{\lstset{language=Clean,style=numbers}}{}
+\lstnewenvironment{CleanCodeB}{\lstset{language=Clean,frame=single}}{}
+\lstnewenvironment{CleanCodeNB}{\lstset{language=Clean,style=numbers,frame=single}}{}
diff --git a/deliverables/p1/p1.pdf b/deliverables/p1/p1.pdf
deleted file mode 100644
index 10b2596..0000000
Binary files a/deliverables/p1/p1.pdf and /dev/null differ
diff --git a/deliverables/p1/pre.tex b/deliverables/p1/pre.tex
index 06184f2..c1a127b 100644
--- a/deliverables/p1/pre.tex
+++ b/deliverables/p1/pre.tex
@@ -1,5 +1,7 @@
 \documentclass{beamer}
 
+\usepackage{clean}
+
 \AtBeginSection[]{%
 	\begin{frame}
 		\frametitle{Table of Contents}