Commit 87c631be authored by's avatar
Browse files

Fixed TeX syntax

parent 019ad00f
......@@ -1788,7 +1788,7 @@ pseudoop "unsafeCoerce#"
known to be empty. Also, a {\tt newtype} of a type {\tt T} has the same representation
at runtime as {\tt T}.
Other uses of {\tt unsafeCoerce#} are undefined.
Other uses of {\tt unsafeCoerce\#} are undefined.
-- NB. It is tempting to think that casting a value to a type that it doesn't have is safe
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment