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

6 pointsby bikenagaletztes Jahr1 comments

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

1 comments

idlipletztes Jahr

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