Add skeleton slides to present Idris
Add an outline for slides
Haskell-like
Add dependent types example
Add totality check example