idris-hackers/idris-mode — pull request #139 by david-christiansen (2014-05-07 12:10:43+00:00)
Title: Add command to initialize new project

This is a little bit of automation I've had laying about, so I cleaned it up and threw it into idris-mode.