- Tuesdays 10:00-11:30, ICT-A2.
- Wednesdays 10:00-11:30, ICT-404.
- Course code: ITI0212.
You should have received a link to a Doodle poll where you can choose the time for your oral examination. A zoom link will be emailed to you shortly before the time of your examination.
- the examination is oral
- it is required that you have access to a computer with Idris installed. The exam will begin with the examiners giving you 6 problems. The problems are designed so that a typical examination takes 30-60 minutes.
- The problems are closely related to the exercise sheets. The first problem will be from exercise sheets 1 and 2, the second from exercise sheets 3 and 4, and so forth. The best way to prepare for the exam is to make sure that you can solve the problems from the exercise sheets.
- We will require you to share your screen so that we can see you solve the problems.
- You can do the problems in any order. You can start and come back to problems. If you get stuck we can offer you hints.
- 6th Lab, 25 March.
- 5th Lab, 18 March.
- 4th Lab, 11 March.
- 3rd Lab, 26 February.
- 2nd Lab, 12 February.
- 1st Lab, 29 January.
The primary textbook of the course is
“Type-Driven development with Idris” by Edwin Brady,
available online via the library. Complementary material is
“Learn you a Haskell for Great Good!” by Lipovača, and
“The craft of functional programming”, by Thompson.