1 files changed, 11 insertions, 0 deletions

diff --git a/org.tex b/org.tex
new file mode 100644
index 0000000..09f53a7
--- /dev/null
+++ b/org.tex
@@ -0,0 +1,11 @@
+% vim: set spelllang=nl:
+\subsection{Organisatie} %todo titel
+
+In \autoref{sec:def} beschrijven we formele definities om de semantiek van
+Smurf te kunnen specificeren. We kijken naar de syntax, input en output, de
+programmatoestand en de transities in de natuurlijke semantiek die we gaan
+definiëren. \autoref{sec:rules} beschrijft vervolgens per statement in de
+syntax de formele semantiek. Hierbij baseren we ons op de Smurf specificatie
+\cite{safalra}, waarbij we dingen verhelderen en ongedefinieerd gedrag
+definiëren.
+