lesswrong.com/lw/l0d/a_proof_of_l%C3%B6bs_theorem_in_haskell

I'm not sure if this post is very on-topic for LW, but we have many folks who understand Haskell and many folks who are interested in Löb's theorem (see e.g. El


Comments (0)

Sign in to post comments.