Introduction to programming with dependent types

On October 1st 2015 the Functional Programming meet-up group in Gothenburg hosted a session on dependent types.

During the talk we used Agda to play with dependent types and better understand their meaning.

Video of the talk. Edited by Jean-Louis

We thank to the guys at Zimpler for sponsoring food for the event.