Saturday, September 20, 2014

A proof of Löb's theorem in Haskell

I just wrote a post about programming on LW: A proof of Löb's theorem in Haskell. There's some discussion there, and also in these two threads on /r/haskell. Many thanks to gelisam, who deserves at least as much credit as I do :-)

1 comment:

  1. Hi Vladimir,

    Saw your comment on Hacker News where you mentioned that once you were working on web based excel/database. You said you have free advice to give. Would love to hear your perspective on the same. Wasn't able to find your email, so contacting here. Can you please connect with me? I'm paras1987 {at} gmail {dot} com