Fix copy-paste error
Add excellent words of encouragement suggestion

Thanks to Miles!
Specify lexical-binding on the header line, to keep package.el happy
Merge pull request #39 from david-christiansen/fix-require-line

Fix copy-paste error
Merge pull request #38 from david-christiansen/better-log

Prettier logging
Merge pull request #40 from david-christiansen/words-of-encouragement

Words of encouragement
Merge pull request #41 from purcell/safe-lexical-binding-decls

Specify lexical-binding on the header line, to keep package.el happy
Major mode for Idris log buffers

Includes faces for highlighting timestamps and levels, plus View mode in
log buffers.