[gpvos]

Indeed. Favorited it. My Prolog is too rusty to understand it all, but even just skimming the metainterpretation article was enlightening.

[Nora23]

Same here. The metainterpretation stuff is fascinating but dense.