From cd724694347304da9317f929c44d6a8aa9ed3be5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= <francois.pottier@inria.fr> Date: Tue, 21 Feb 2017 13:45:26 +0100 Subject: [PATCH] Typo. --- src/BindingFormsSimplified.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/BindingFormsSimplified.ml b/src/BindingFormsSimplified.ml index 06906b1..85fcc93 100644 --- a/src/BindingFormsSimplified.ml +++ b/src/BindingFormsSimplified.ml @@ -21,7 +21,7 @@ | outer(t) | rebind(p) - The combinator [inner(p)] can be viewed as sugar for [rebind(outer(p))]. + The combinator [inner(t)] can be viewed as sugar for [rebind(outer(t))]. Our [rebind(p)] takes just one argument. Weirich et al.'s [rebind], which takes two arguments, is emulated by writing [p1 * rebind(p2)]. -- GitLab