Implementing Löb's Theorem in Emacs Lisp

FYI, the author is John Wiegley. He is popularly known for Emacs use-package and ledger-cli