Typo.

cd724694 · POTTIER Francois · 736a8791 · cd724694
Commit cd724694 authored Feb 21, 2017 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

BindingFormsSimplified.ml src/BindingFormsSimplified.ml +1 -1

No files found.
--- 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)].