summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index 253cdc5d..8ea78e4f 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -767,10 +767,10 @@ $$\infer{\Gamma \vdash c_1 \; c_2 :: \kappa_2}{
}$$
$$\infer{\Gamma \vdash c[\kappa'] :: [X \mapsto \kappa']\kappa}{
- \Gamma \vdash c :: X \to \kappa
+ \Gamma \vdash c :: X \longrightarrow \kappa
& \Gamma \vdash \kappa'
}
-\quad \infer{\Gamma \vdash X \Longrightarrow c :: X \to \kappa}{
+\quad \infer{\Gamma \vdash X \Longrightarrow c :: X \longrightarrow \kappa}{
\Gamma, X \vdash c :: \kappa
}$$