Functional Programming

Course Organization

course code

ITI0212

term

Spring 2023

lectures

Mondays 10:00 - 11:30
in ICT-315 and on Zoom

labs

Fridays 08:30 - 10:00
in ICO-319

instructors

Ed Morehouse, Diana Kessler

teaching assistants

Clémence Chanavat, Michele De Pascalis, Andrea Laretto

syllabus

here

discord

Join

Resources

• Some notes on installing Idris
• The Idris Website
• 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 2 standard library

Announcements

• Due to public holiday there will be no lab meeting on 2023-02-24.
• Due to public holiday there will be no lab meeting on 2023-04-07.
• Due to public holiday there will be no lecture meeting on 2023-05-01.

Assignments

• homework 1 is due 2023-03-06.
• homework 2 is due 2023-03-27.
• homework 3 is due 2023-04-17.
• homework 4 is due 2023-05-08.
• homework 5 is due 2023-05-29.

Course Project

• The course project specification is now available. The deadline is the end of the term, 2023-05-21.

Final Exam

• The final exam specification is now available. Please read it and register for an exam time by 2023-05-15.

Outline