Welcome!
- Web page for Advanced Functional Programming (TDA342/DIT260)
- Period 3 school year 2017-2018.
News!
March 11th
The exam is on Tuesday, March 13th 2018, starting at 8:30 in SB Multisal.
As in previous years, you may bring up to two pages (on one A4 sheet of paper) of pre-written notes — a "summary sheet". These notes may be typed or handwritten. They may be from any source.
As usual, you will be able to review your exam at the student office (Campus Johanneberg).
Sample solutions will be available after the exam from here.March 5th
Today's guest lecture has been canceled due to sickness. We will have a regular lecture instead, room EF.
March 2nd
Dominic's material on yesterday's guest lecture is up! (check the Lectures slides). On Monday, we will have Andreas Abel talking about Agda (and dependent types). Don't miss it!
Feb 12th
I got some (valid) concerns that to get a 4 or 5 in Part I of the second lab, you need some of the content that I finished today. However, that does not mean you won't get it. You are encouraged to resubmit to increase your grade! Sometimes, lectures take more than I planned. In short, don't worry, re-submit later to get your 4 or 5.Feb 7th
Guest lectures announced!Feb 5th
The exam practice class is scheduled for Thursday 15th (don't miss it!). Check the details in the Lectures tab!January 25th
Check that you haven't registered in the old Fire (2017) but the one of 2018 (look for 2018 on the URL)January 15th
Welcome to the course!