Change the symbol used for casting to ▶.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 1 Dec 2009 10:59:35 +0000 (11:59 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 1 Dec 2009 10:59:35 +0000 (11:59 +0100)
commitae83e3ad02886b6ca5e836b8f1d0fc3ae6321adb
treee757899a82691e2c0f700a3ca396c680f3d395a4
parent2632b37c704f17c78b1dd023e9c9688918b7ee31
Change the symbol used for casting to ▶.

This removes the ambiguity between using :: for explicitly casting and for
showing the type of an expression.
Chapters/Normalization.tex
Chapters/Prototype.tex