Injectivity of Vec-cons by Herlmut Grohne <grohne@cs.uni-bonn.de>
Provide some intuition about free monads and add an example to README/

Patch by Stevan Andjelkovic
Added code point information

Patch by Andrés Sicard-Ramírez
Added bibliographic reference.

Patch by Andrés Sicard-Ramírez
Makefile target to build html listings
[Makefile] make sure to build Everything.agda before generating html
bash script to generate listings for gh-pages branch
[publish listings] verbosity changes and cleanup
[publish listings] added [auto] to merge message
tiny whitespace change

just to test the publish-listings script
Conveniently reason in multiple Setoids simultaneously
Merge pull request #3 from helmutg/feature-setoidreasoning

Conveniently reason in multiple Setoids simultaneously