Add files from David's Idris talk in March 2014