X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Chapters%2FPrototype.tex;h=78f5ecfb85047a16c4f02e3dd31f5023c1c5e513;hp=6db0d8632e089e810e5735c09b00ee068a1391cc;hb=ae83e3ad02886b6ca5e836b8f1d0fc3ae6321adb;hpb=2632b37c704f17c78b1dd023e9c9688918b7ee31

diff --git a/Chapters/Prototype.tex b/Chapters/Prototype.tex
index 6db0d86..78f5ecf 100644
--- a/Chapters/Prototype.tex
+++ b/Chapters/Prototype.tex
@@ -463,7 +463,7 @@
     \startdesc{Cast expression}
       \defref{cast expression}
       \startlambda
-      body :: targettype
+      body ▶ targettype
       \stoplambda
       A cast expression allows you to change the type of an expression to an
       equivalent type. Note that this is not meant to do any actual work, like
@@ -487,7 +487,7 @@
       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 this paragraph}
+      \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