Implementing Löb's Theorem in Emacs Lisp

by bikenagaon 5/28/2025, 2:28:12 PM with 1 comment
  • by idlipon 5/28/2025, 4:31:40 PM

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