Fix / remove some final todos.
[matthijs/master-project/report.git] / Chapters / Prototype.tex
index 870b7cc..1d87eeb 100644 (file)
         of a case expression to normal form (evaluating any function
         applications, variable references and case expressions) is
         sufficient to decide which case alternatives should be chosen.
-        \todo{ref?}
       \stopframedtext
 
     }