Agenda (6:00 - 7:30):
0. What's New? / Group Matters (10 minutes)
1. Introduction to Idris (Andy)
2. Kata in Haskell (Andrew)
and direct from Scala Days Berlin (in English) ...
3. The Reader Monad for Dependency Injection (Jason)
Each talk will be 20-25 minutes with 5-10 minutes for questions and discussion.