3 ms·Implementing Löb's Theorem in Emacs Lisp6 points by bikenaga 1y agoidlip 1y agoFYI, the author is John Wiegley. He is popularly known for Emacs use-package and ledger-cli