Alex Silva - A Tour of Dependent Types with Idris

In this talk we will first see an overview of dependent types, Idris
and how Idris is different from Haskell. Then we will look at a few
examples of dependent types to understand how they help in better
designing your programs and writing more correct programs by
construction.