diff options
| author | Marvin Borner | 2024-03-18 11:27:35 +0100 |
|---|---|---|
| committer | Marvin Borner | 2024-03-18 11:27:35 +0100 |
| commit | 41ea5dc7651380b7f31955819b5dc0b8256f3ef4 (patch) | |
| tree | 64b68cf13b9b71874ce3125f677da158818a8ce9 /docs/wiki_src/coding | |
| parent | e8a440a0b717621cce239499be22ea038a0093f5 (diff) | |
Minor orthographic improvements
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)) |