More examples and slides
modified:   slides/Idris.tex
modified:   src/Example1.idr
new file:   src/Example2.idr
new file:   src/Example3.idr