Activity: Talk or presentation types › Presentation
http://www.thestrangeloop.com/2015/idris-practical-software-verification-with-dependent-types.html