Ignore stuff in "slides" directory.
Removed "code.lhs", this info will now be put in "README.agda".
First version of abstract.
Wrote rather sketchy stuff, but all the todos are gone now, for a certain definition of "gone".