X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=c4aaa01e6121402c43c918daeca36e8ea36d6746;hb=8c6f463e3da3f3a2469b44f17705d633c988fee6;hp=7b114bbe997da45948942c5f0fe88b29464d64a3;hpb=3e05ec4519ceba379e742a1c817a7a1cdfa64e25;p=msc-thesis1617.git diff --git a/thesis.tex b/thesis.tex index 7b114bb..c4aaa01 100644 --- a/thesis.tex +++ b/thesis.tex @@ -2,6 +2,8 @@ \usepackage[nonumberlist,acronyms]{glossaries} \makeglossaries% +\newacronym{GADT}{GADT}{Generalized Algebraic Datatype} +\newacronym{ADT}{ADT}{Algebraic Datatype} \newacronym{SDS}{SDS}{Shared Data Source} \newacronym{IoT}{IoT}{Internet of Things} \newacronym{TOP}{TOP}{Task Oriented Programming} @@ -9,6 +11,7 @@ \newacronym{RISC}{RISC}{Reduced Instruction Set Computer} \newacronym{ARM}{ARM}{Acorn \acrshort{RISC} Machine} \newacronym{LTN}{LTN}{Low Throughput Network} +\newacronym{IDE}{IDE}{Integrated Development Environment} \newglossaryentry{Clean}{name=Clean, description={is a pure lazy functional programming language based on graph rewriting}} @@ -56,6 +59,7 @@ \printglossaries% \mainmatter{} +\glsresetall \chapter{Introduction}\label{chp:introduction} \input{introduction.tex} @@ -66,6 +70,9 @@ \chapter{Conclusion \& Discussion}\label{chp:conclusion} \appendix\label{chp:appendix} +\chapter{Planning}\label{app:planning} +\input{appendix-planning.tex} + \chapter{Communication protocol}\label{app:communication-protocol} \input{appendix-protocol.tex}