X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=67d23c8b2be60ee6c06f78fc73bcc18b59afc560;hp=139b93e56be69f2637efcffc785935e95bb77b9c;hb=a5c24fad8b59d741bc4bafd73405bb54b5c3934e;hpb=feee31da167a3c0505d2683d3e81e2597743f1a6

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 139b93e..67d23c8 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -681,6 +681,10 @@
       here)}.
         
   \section[sec:prototype:statetype]{State annotations in Haskell}
+    As noted in \in{section}[sec:description:stateann], Cλash needs some
+    way to let the programmer explicitly specify which of a function's
+    arguments and which part of a function's result represent the
+    function's state.
       \fxnote{This entire section on state annotations should be reviewed}
 
       Ideal: Type synonyms, since there is no additional code overhead for