From bba44672be8a2a5f907bbba5614c4fb8812fde13 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 28 Apr 2016 16:18:40 +0200
Subject: Abstract

---
 abs.tex      | 8 ++++++++
 werkstuk.tex | 1 +
 2 files changed, 9 insertions(+)
 create mode 100644 abs.tex

diff --git a/abs.tex b/abs.tex
new file mode 100644
index 0000000..20fbd04
--- /dev/null
+++ b/abs.tex
@@ -0,0 +1,8 @@
+% vim: set spelllang=nl:
+\begin{abstract}
+	We beschrijven een manier om de semantiek van Smurf \cite{safalra} formeel te
+	specificeren, om het makkelijker te maken over de taal te redeneren. Smurf is
+	interessant, omdat het een commando heeft om een string als Smurfprogramma
+	uit te voeren. We bekijken de gevolgen van dit commando op de semantiek.
+\end{abstract}
+
diff --git a/werkstuk.tex b/werkstuk.tex
index 72613b9..ccb6f49 100644
--- a/werkstuk.tex
+++ b/werkstuk.tex
@@ -5,6 +5,7 @@
 
 \maketitle
 
+\input{abs}
 % todo intro
 \input{def}
 \input{rules}
-- 
cgit v1.2.3