Messages
Home-exam 1 i now graded. On Insprera feedback on your hand-in is also added as an explanation and should have been send to you.
We have started planning the exam and the first task is to fix a couple of dates.
It will be an oral exam and all details will be given later.
Before the end of next week (Sunday April 13) please fill out the following:
https://nettskjema.no/a/in5630-exam
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.
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.
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.
For those that need an short extension to Possiblik 1, write to me today.
Note that these short extensions to the Home Exam is not possible.
Dear all,
On the course we will have two Home Exams that will each give 25 % of the final assessment. (The rest is the oral exam.)
In addition to this we have two optional assignments (called Possibliks). A Possiblik will be overlapping, but not completely covering, the following Home Exam. You can therefore use the Possibliks to get first feedback before handing in the Home Exams. This is an offer and not a requirement to hand-in the Home Exams.
Deadlines:
Possiblik 1: Feburary 18 @ 23:59
Home Exam 1: March 11 @ 23:59
Possiblik 2: April 8 @ 23:59
Home Exam 2: May 14 @ 23:59
Hi all,
On the course we will for the first half use the book:
Programming in Haskell by Graham Hutton.
https://people.cs.nott.ac.uk/pszgmh/pih.html
This book gives a nice introduction to programming in Haskell (hence the title...)
In addition there will also be some notes in PDF or book chapters that will be shared with you directly.
Looking forward to see you all next week.
We look much forward to seeing you on the course and teach you how we can implement programming language and gain deeper understanding by formalising them.
We will later this week post reading material and update the schedule for the course. Then we will also give more details about the assignments.