X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=c4aaa01e6121402c43c918daeca36e8ea36d6746;hb=8c6f463e3da3f3a2469b44f17705d633c988fee6;hp=b79e8334bc7769473610f3505fd00b472f6a02ac;hpb=fd518360fae7c8bf40f0334997e6a516ef1e971d;p=msc-thesis1617.git

diff --git a/thesis.tex b/thesis.tex
index b79e833..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}