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

• Source code In the file you will find all the code we wrote during the talk, and many yet unimplemented definitions for your hacking pleasure.

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