Implementing Löb's Theorem in Emacs Lisp

4 bikenaga 1 5/28/2025, 2:28:12 PM newartisans.com ↗

Comments (1)

idlip · 2d ago

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