Wadler's Blog: What do you believe is true even though you cannot prove it?

12.2.09

The World Question Center asks a different question every year, and the title links to one of my favorites.

Anonymous said...: intuitionism, for me

I'd love to see answers to this from PL people/type theorists.; 12/2/09 3:10 PM
Pseudonym said...: So Phil, what's yours?; 13/2/09 3:37 AM
Anonymous said...: I think that bearded men try to hide something.; 17/3/09 2:49 PM