Update outline.

[matthijs/master-project/report.git] / Chapters / Prototype.tex

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index fa0b54a4cdefe669fa3b47798f059acfc84ff16e..67957718b112c1c81899b79de79428a6165184ff 100644 (file)
--- 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?