Expose show functions for Char,Float,String,Name,Literal
[ release notes ] Fixed

The changes to Data.List.NonEmpty don't belong to version 0.8.1.
[ release notes ] Added TODO
Documented showName in release-notes.
Merge pull request #39 from pepijnkokke/master

Documented showName in release-notes.
[ release notes ] Added documentation related to Agda issue 1269
[ release notes ] Added more documentation related to issue 1269
[ Release notes ] Added documentation for quoting levels
Fixed typo
Revert "Fixed typo"

This reverts commit 400db78cf8e953d411c714fbc224b21b864a07f2.
Revert "[ Release notes ] Added documentation for quoting levels"

This reverts commit ef226aa5374142c8e148245c76bd10d602b20f3b.

Quoting level isn't a new feature (see https://github.com/agda/agda/pull/17#issuecomment-58777304).
[ release notes ] Documented Agda issue 1207
Update the Reflection module to follow the change in Agda
Merge branch 'show-prims'
Update the "show primitive" commit
[auto] merge master into gh-pages
[auto] updated html listings