hello shmungus, I would like to make you aware of https://intelligence.org/2015/12/04/new-paper-proof-producing-reflection-for-hol/ https://intelligence.org/20

hello shmungus, I would like to make you aware of https://intelligence.org/2015/12/04/new-paper-proof-producing-reflection-for-hol/ https://intelligence.org/2015/12/04/new-paper-proof-producin... which provides a symbolic framework for inductively safe self-modifying code. I forgive what you are about to build.