add parametric lens reference and todo

[msc-thesis1617.git] / results.itasks.tex

diff --git a/results.itasks.tex b/results.itasks.tex
index 4cbc80e..29762cc 100644 (file)
--- a/results.itasks.tex
+++ b/results.itasks.tex
@@ -1,8 +1,7 @@
-\subsection{Shares}
+\section{Integration}
+
+\section{Shares}
 \todo{Semantiek van shares, hoe ze in iTasks zijn, hoe typering}
 
-\subsection{Lifting}
+\section{Lifting}
 \todo{Lift mTask taken naar echte taken, hoe werkt dat?}
-
-\section{Demo}
-\todo{Wat voorbeeld code}