Add hide directive, alphabetize list.
Add syntax highlighting for Literate Idris.
Merge pull request #7 from walkie/master

Add hide directive, alphabetize list.