Marcelo Sousa <dipython@gmail.com> Utrecht Universiteit 2011 Playing around with Session Types in Agda -- Do simple proofs