1. 5
    A proof of Löb's theorem in Haskell haskell programming lesswrong.com
    bitemyapp avatar via bitemyapp 3 years ago | cached | no comments

  1.