Git fork of http://hub.darcs.net/divip/AgdaTutorial