idris listings added
new file:   slides/idrislang.sty