Slide fix
modified:   slides/Idris.pdf