Semester page for IN5630 - Spring 2025
We can understand that some students are a bit pressed with other deadlines before Easter. We have therefore extended the deadline of P2 to April 23 (just after Easter). You will still get feedback before Home Exam 2.
Schedule:
Next week Joachim will show you how to implement the type system of FUN in Haskell. You can do something practical on the in the excises the day after.
The following week, is Easter vacation (no lecture) and the Monday after (April 21) is Easter Monday (and still not lecture).
We will have the exercises on Tuesday April 22, where you can get help with the final work on P2 og starting HE2.
Apr. 1, 2025 2:29 PM
At the exercises last tuesday, we did not have time to cover Exercise 1.2.
As a service, I have checked my solution with the tool `boxprover`, and you can see the solution here.
Let me know if you have any trouble deciphering the Fitch Style notation.
Mar. 3, 2025 5:54 PM
I have been made aware that the deadline on the exam page stated that the deadline of the first home exam is March 14.
This is different from the date that we have announced and is caused by an error made in the administration, when they set everything up. The easiest solution is just to keep this date, so you will have a few extra days.
Feb. 25, 2025 7:01 PM
Assignments
Course material
Discourse forum