Backslash is not escaping in lambda abstraction
Flycheck support
Fix compiler warnings (and a bug they found)
Merge pull request #138 from david-christiansen/flycheck

Flycheck support + fix warnings on MELPA install
Add a command to initialize an Idris package

This command creates the .ipkg and the first module, laying out the
directories in a reasonable manner.
Keybindings and commands in README
Make it easier to press the apropos key
Merge pull request #139 from david-christiansen/startcmd

Add command to initialize new project
Merge pull request #140 from david-christiansen/easier-key

Make it easier to press the apropos key
Merge pull request #135 from soimort/patch-1

Parens of pattern matched arguments in anonymous functions
Insertion of fields for ipkg-files

I can never remember what they're called or what's available, so I
automated inserting them.
Merge pull request #141 from david-christiansen/ipkg-fields

Insertion of fields for ipkg-files