The 'Interactive development with types' chapter

• What we'll do
In our second meetup we will discuss chapter 3: 'Interactive development with types'. Going through the exercises in chapter 3 will be the main focus of the meetup. Other than that, there should be room to discuss random topics related to Idris and dependently typed programming.

Please read the chapter and try to do some of the exercises (it's okay if you didn't finish all of them).