edwinb/Idris-dev — pull request #233 by miikka (2013-03-13 14:54:36+00:00)
Title: Remove extraneous files from repo

I was driving by and wondered about these files. As far as I can tell, they aren't used for anything. I'm guessing they ended up there by accident.