Indeed. Favorited it. My Prolog is too rusty to understand it all, but even just skimming the metainterpretation article was enlightening.
Same here. The metainterpretation stuff is fascinating but dense.
Same here. The metainterpretation stuff is fascinating but dense.