From 0b69ee6fcf8094bcd19f5adebd6e587f5d642d91 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 20 Apr 2016 20:31:39 +0200
Subject: [PATCH] update

---
 report2/implementation.tex | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/report2/implementation.tex b/report2/implementation.tex
index 9f8b80e..1aa2322 100644
--- a/report2/implementation.tex
+++ b/report2/implementation.tex
@@ -69,3 +69,5 @@ $$next(i_1, i_2, i_3)=\left\{\begin{array}{lll}
 	(targetagent, i_2, i_3) & \text{if } & i_1=targetagent\\
 \end{array}\right.$$
 
+\subsection{Example}
+For example, take the toy screen \texttt{\_\@\$} will be encoded as follows:
-- 
2.20.1