I also found the following very useful:

* A Demonstration of Agda (https://www.youtube.com/watch?v=8WFMK0hv8bE)

* Agda Tutorial (http://people.inf.elte.hu/divip/AgdaTutorial/Index.html)