idris-lang/Idris-dev — pull request #1540 by edwinb (2014-09-23 21:50:21+00:00)
Title: Remove papers directory

It doesn't really belong here especially since this is a repository
owned by a community rather than an individual, and it's a single author
paper (and it's now published anyway so any history isn't really
relevant any more).