Implementing Löb's Theorem in Emacs Lisp

Posted by bikenaga on Wednesday May 28, 2025 @10:28AM
from the newartisans.com dept.

( 1 comment | 3 points | on HN )

Re:Implementing Löb's Theorem in Emacs Lisp by idlip on Wednesday May 28, 2025 @12:31PM (#44117761)

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

[ Parent | on HN ]