add a bit about combinators

[msc-thesis1617.git] / thesis.pre

diff --git a/thesis.pre b/thesis.pre
index 9ec3c0a..8f384f2 100644 (file)
--- a/thesis.pre
+++ b/thesis.pre
@@ -55,23 +55,23 @@
                {\\}{{$\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
+%              {>}{{$>$}}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
@@ -92,15 +92,15 @@
        breaklines=true,                 % sets automatic line breaking
        captionpos=b,                    % sets the caption-position to bottom
        keepspaces=true,                 % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible)
-       basicstyle=\footnotesize,        % the size of the fonts that are used for the code
+       basicstyle=\ttfamily\footnotesize,        % the size of the fonts that are used for the code
        commentstyle=\itshape,           % comment style
        keywordstyle=\bfseries,          % keyword style
        stringstyle=\ttfamily,           % string literal style
-       language=Clean,                  % the language of the code
        showspaces=false,                % show spaces everywhere adding particular underscores; it overrides 'showstringspaces'
        showstringspaces=false,          % underline spaces within strings only
        showtabs=false,                  % show tabs within strings adding particular underscores
-       tabsize=4                            % sets default tabsize to 2 spaces
+       tabsize=4,                       % sets default tabsize to 2 spaces
+       frame=L
 }
 
 \title{iTasks and the Internet of Things}