Initial import of haskell-simple-indent
Replace Haskell bits with Idris bits
Add minor credit info
Make indentation code work with .lidr
Add indentation setting
Improve syntax highlighting for .lidr files
Require the new indent
Merge pull request #144 from david-christiansen/better-lidr-syntax

Improve syntax highlighting for .lidr files
Fix circular dependency
Merge pull request #143 from david-christiansen/idris-simple-indent

Idris simple indent
added link to DTP14 abstract
Add support for :makelemma
Merge pull request #145 from david-christiansen/make-lemma

Add support for :makelemma