Slides updated
modified:   README.md
modified:   slides/Idris.tex