Implementing Löb's Theorem in Emacs Lisp(newartisans.com)

6 pointsby bikenagaปีที่แล้ว1 comments

https://newartisans.com/2025/05/implementing-loeb-emacs-lisp/

1 comments

idlipปีที่แล้ว

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