From fd525a93d6c12179fb8a0253e5150d5971288c29 Mon Sep 17 00:00:00 2001 From: Camelid Date: Mon, 14 Sep 2020 16:41:25 -0700 Subject: [PATCH] More improvements --- src/appendix/background.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/appendix/background.md b/src/appendix/background.md index 07515aea..ae6136dd 100644 --- a/src/appendix/background.md +++ b/src/appendix/background.md @@ -237,16 +237,16 @@ such that the function is well-typed: `∃ T: (T: Debug) and well_typed(foo)`. ## What is a de Bruijn Index? -[De Bruijn indices][wikideb] are a way of representing using only integers which -variables are bound in which binders. They were originally invented for use in -lambda calculus evaluation (see [this Wikipedia article][wikideb] for more). In -`rustc`, we use a similar idea for the [representation of generic types][sub]. +[De Bruijn indices][wikideb] are a way of representing, using only integers, +which variables are bound in which binders. They were originally invented for +use in lambda calculus evaluation (see [this Wikipedia article][wikideb] for +more). In `rustc`, we use de Bruijn indices to [represent generic types][sub]. [wikideb]: https://en.wikipedia.org/wiki/De_Bruijn_index [sub]: ../generics.md Here is a basic example of how de Bruijn indices might be used for closures (we -don't actually do this in `rustc` though): +don't actually do this in `rustc` though!): ```rust,ignore |x| {