An implement of Löb’s theorem in Emacs Lisp - View it on GitHub