> 2. Turing complete macros (not just syntax-case) I assume, you mean `syntax-rules` here. If I understand correctly, it's pretty easy to simulate a paper tap

> 2. Turing complete macros (not just syntax-case) I assume, you mean `syntax-rules` here. If I understand correctly, it's pretty easy to simulate a paper tape with `syntax-rules` macro - that is `syntax-rules` macros are already "Turing complete". https://okmij.org/ftp/Scheme/macros.html#turing-completeness-hygiene https://okmij.org/ftp/Scheme/macros.html#turing-completeness... But ... I know what you mean - in practise `syntax-case` or `syntax-parse` would be lovely to have.