1. theoretical slides
2. practical slides
3. programs in Haskell and Agda