ezyang’s blog

the arc of software bends towards understanding

Reflexivity. Qed.

In which Mendeley, Software Foundations and Coq are discussed. I was grousing on #haskell-blah one day about how annoying it was to organize all of the papers that I have downloaded (and, of course, not read yet.) When you download a paper off the Internet, it will be named all sorts of tremendously unhelpful things […]

  • November 26, 2010