Activity: Talk or presentation types › Public lecture/debate/seminar
http://ncredinburgh.com/blog/posts/idris-launchpad