03: Idris tutorial, links to slides, exercises