Complete second chapter.
Ignore Agda src and bytecode files.