Add Agda demo from May 14, 2013.
Add Agda demo from November 15, 2012.