X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=8beba0feec3bc93300d5e648c6bf957da6f60313;hp=c17a41dfbaf7c6342ef91d9cff5ac11327bd4246;hb=77b99ac93823fc7347c0c55c5a5a1056b4b7d57b;hpb=dc5f13d5e3f95374aefb8911da917cb7ca45101c

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index c17a41d..8beba0f 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -636,6 +636,8 @@
       Using this set of types, all types in basic Haskell can be represented.
         
   \section[sec:prototype:statetype]{State annotations in Haskell}
+      TODO: This section should be reviewed and expanded.
+
       Ideal: Type synonyms, since there is no additional code overhead for
       packing and unpacking. Downside: there is no explicit conversion in Core
       either, so type synonyms tend to get lost in expressions (they can be