Idris slides added
new file:   slides/Idris.pdf