- course code
- Spring 2021
Mondays 14:15 - 15:45
in ICT-507 and on
Tuesdays 12:00 - 13:30
in ICT-402 and on
The Idris Tutorial
(written for Idris 1, but mostly still applies to Idris 2)
The Idris Book
(also available from the TalTech Library)
Idris 2 online documentation
Idris 1 online documentation
All course meetings will be remote for the foreseeable future.
The marking criteria for homework assignments and the term project are as follows.
- correctness: 70%
- style (clarity, concision, efficiency): 30%
Information about the final exam is now available (see below).