X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=theoretical-framework.tex;h=59975f1836003d097b754a059ead51a46cfaff56;hb=4ac8ff3216dd921df44fbed2ba7d4ad01ff7033d;hp=4551ed3c8a1a44abc409ef2948a25c604f0c7fad;hpb=6dca5a0ebb686cc11b0cb90f98c3d8347d0b7eeb;p=msc-thesis1617.git diff --git a/theoretical-framework.tex b/theoretical-framework.tex index 4551ed3..59975f1 100644 --- a/theoretical-framework.tex +++ b/theoretical-framework.tex @@ -1,7 +1,7 @@ \section{\acrlong{TOP}} -\begin{lstlisting}[language=Clean] +\begin{lstlisting}[language=Clean,label={lst:test},caption={Caption}] module Life Start :: *World -> *World