Login
Roast topics
Find topics
Find it!
From:
Text - Marvin Borner
(Uncensored)
subscribe
Metaprogramming and self-interpretation
https://text.marvinborner.de/2023-09-03-21.html
links
backlinks
Roast topics
Find topics
Roast it!
With inspiration from John Tromp's 232 bit lambda calculus self interpreter I created a universal machine for a homoiconic meta encoding based on the Mogensen-Scott encoding and Church-encoded De Bruijn indices.
