Here is a nice article about lambda calculus self-interpreters: http://anthonylorenhart.com/2021-09-04-Extremely-Simple-Self-Interpretation/ http://anthonyloren

Here is a nice article about lambda calculus self-interpreters: http://anthonylorenhart.com/2021-09-04-Extremely-Simple-Self-Interpretation/ http://anthonylorenhart.com/2021-09-04-Extremely-Simple-Self... tromp is the local expert around here and may have something more enlightening to say.