Add syntax highlighting for Literate Idris.
Add syntax highlighting for Literate Idris.
Merge pull request #8 from walkie/lidris

Add syntax highlighting for Literate Idris.
Merge pull request #7 from walkie/master

Add hide directive, alphabetize list.