A proof of Löb's theorem in Haskellhttp://lesswrong.com/lw/l0d/a_proof_of_l%C3%B6bs_theorem_in_haskell/ by cubetime • 12 years ago 49 2 12 years agoLElesswrong.com