summaryrefslogtreecommitdiff
path: root/werkstuk.tex
diff options
context:
space:
mode:
Diffstat (limited to 'werkstuk.tex')
-rw-r--r--werkstuk.tex4
1 files changed, 4 insertions, 0 deletions
diff --git a/werkstuk.tex b/werkstuk.tex
index 3822d51..b7a3e8f 100644
--- a/werkstuk.tex
+++ b/werkstuk.tex
@@ -20,6 +20,9 @@
\usepackage{syntax}
\usepackage{thmtools}
+\usepackage{clean}
+\lstset{language=Clean,breaklines,tabsize=2,xleftmargin=\parindent}
+
% Eigen packages
\usepackage{smurf}
@@ -50,6 +53,7 @@
\input{rules}
\input{sosexamp}
\input{analyse}
+\input{cleansmurf}
\input{planning}
\input{refs}