X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=67957718b112c1c81899b79de79428a6165184ff;hp=fa0b54a4cdefe669fa3b47798f059acfc84ff16e;hb=4688774654bcc3330ada6e8bf08ace00198e291a;hpb=3190c597eecca2b3317b1ff93ef314e600e84d88

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index fa0b54a..6795771 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -760,12 +760,6 @@
       Implementation issues: state splitting, linking input to output state,
       checking usage constraints on state variables.
 
-        Implementation issues
-          \subsection[sec:prototype:separate]{Separate compilation}
-          - Simplified core?
-
-  \section{Haskell language coverage and constraints}
-    Recursion
-    Builtin types
-    Custom types (Sum types, product types)
-    Function types / higher order expressions
+      TODO: Implementation issues
+        TODO: \subsection[sec:prototype:separate]{Separate compilation}
+        TODO: Simplified core?