github/gitignore — pull request #961 by CodeBlock (2014-02-24 08:08:44+00:00)
Title: Add Idris, fix Haskell

This adds a basic gitignore file for Idris based on the Haskell one. There might be some useful entries to add later on, but for now this is better than nothing, I think.

Also fixes a typo in the Haskell gitignore.