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
Sign in to post comments.
Comments (0)
Sign in to post comments.