X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=bad0d0647646f97ac552c97b4b6feb0d68d90ba9;hp=3d8fb678c23406138162f1ac3fdc4affb5ccc21b;hb=10aead726acc0c5a8a17d76f10e6fd1aa0c94319;hpb=987d6ea297cea570ae9690ab06537808f159b538

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 3d8fb67..bad0d06 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -622,14 +622,6 @@
 
       The value of a cast is the value of its body, unchanged. The type of this
       value is equal to the target type, not the type of its body.
-
-      \todo{Move and update this paragraph}
-      Note that this syntax is also used sometimes to indicate that a particular
-      expression has a particular type, even when no cast expression is
-      involved. This is then purely informational, since the only elements that
-      are explicitly typed in the Core language are the binder references and
-      cast expressions, the types of all other elements are determined at
-      runtime.
     \stopdesc
 
     \startdesc{Note}