Renamed README.agda to index.agda for it to be automatically mapped to index.html.
Moved some code around, added comments, plugged holes.
Slides things.