Permalink
Browse files

Override function arrow for better formatting

  • Loading branch information...
1 parent 34b0415 commit 8c3eb528759c6c08b14ea4be14b793428f49de1a @norm2782 norm2782 committed Nov 30, 2012
Showing with 1 addition and 0 deletions.
  1. +1 −0 EHC/text/TopicJavaScriptIFL.cltex
@@ -12,6 +12,7 @@
%format MANY = "\!^{*}"
%format ::= = "::="
%format \ = "{\lambda}"
+%format -> = "{~\ty{\to}~}"
% defs etc
\newcommand{\TODO}[1]{{\color{red}#1}}

0 comments on commit 8c3eb52

Please sign in to comment.