Merge branch 'master' of git.martlubbers.net:msc-thesis1617

[msc-thesis1617.git] / mtask.io.tex

diff --git a/mtask.io.tex b/mtask.io.tex
index 2fc83fb..a0aec0a 100644 (file)
--- a/mtask.io.tex
+++ b/mtask.io.tex
@@ -5,7 +5,7 @@ extensions can be created for specific peripherals such as built-in
 Listing~\ref{lst:sdsio}. In this way the assignment is the same for every
 assignable entity.
 
-\begin{lstlisting}[%
+\begin{lstlisting}[language=Clean,%
        label={lst:sdsio},caption={Input/Output classes}]
 :: DigitalPin = D0 | D1 | D2 | D3 | D4 | D5 |D6 | D7 | D8 | D9 | D10 | D11 | D12 | D13
 :: AnalogPin   = A0 | A1 | A2 | A3 | A4 | A5
@@ -38,7 +38,7 @@ Listing~\ref{lst:sdsclass}. The \CI{Main} type is introduced to box an
 and decorations such as \glspl{SDS}. The type signature is complex and uses
 infix type constructors and therefore, an implementation example is also given.
 
-\begin{lstlisting}[%
+\begin{lstlisting}[language=Clean,%
        label={lst:sdsclass},caption={\glspl{SDS} in \gls{mTask}}]
 :: In a b = In infix 0 a b
 :: Main a = {main :: a}