Haskell
Week 1
- Haskell setup, including template file for bonus exercise
- documentation in PDF
Week 2
- Haskell setup, including template file for bonus exercise
- Haskell setup for solving the Sudoku puzzle on slide 15, see README for usage
Week 5
- template file for bonus exercise
Week 6
- template file for bonus exercise
Additional Material
Week 4
- natural deduction tool by Andreas Schnabl
Week 7
- sorting network visualizer by Rick Spiegl
- encoding of sorting network on 16 wires in Yices