diff options
Diffstat (limited to 'docs/wiki_src/coding')
| -rw-r--r-- | docs/wiki_src/coding/meta-programming.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/wiki_src/coding/meta-programming.md b/docs/wiki_src/coding/meta-programming.md index a77ecbe..c3577ca 100644 --- a/docs/wiki_src/coding/meta-programming.md +++ b/docs/wiki_src/coding/meta-programming.md @@ -37,7 +37,7 @@ again. :test (`[0 `,[0]]) (`[0 [0]]) ``` -Unquoted De Bruijn indices will get bound to the respective abstraction +Unquoted de Bruijn indices will get bound to the respective abstraction outside of its meta encoding. ``` bruijn @@ -46,7 +46,7 @@ add-two `[0 + (+2u)] :test (!add-two (+2u)) ((+4u)) -# adds two using a reaching De Bruijn index +# adds two using a reaching de Bruijn index add-two* [`(,0 + (+2u))] :test (!(add-two* `(+2u))) ((+4u)) |