diff options
Diffstat (limited to 'docs/wiki_src/coding/meta-programming.md')
| -rw-r--r-- | docs/wiki_src/coding/meta-programming.md | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/docs/wiki_src/coding/meta-programming.md b/docs/wiki_src/coding/meta-programming.md index 5d1caa0..334e285 100644 --- a/docs/wiki_src/coding/meta-programming.md +++ b/docs/wiki_src/coding/meta-programming.md @@ -1,4 +1,4 @@ -# Meta programming +# Metaprogramming Bruijn has a homoiconic meta encoding inspired by Lisp's quoting feature. @@ -8,11 +8,9 @@ self-interpretation](https://text.marvinborner.de/2023-09-03-21.html). ## Encoding -``` bruijn -`X ⤳ [[[2 (+Xu)]]] -`(M N) ⤳ [[[1 `M `N]]] -`[M] ⤳ [[[0 `M]]] -``` + `X ⤳ [[[2 (+Xu)]]] + `(M N) ⤳ [[[1 `M `N]]] + `[M] ⤳ [[[0 `M]]] Any quoted term gets converted to this encoding: |