The events leading to the term project
The events leading to the term project are as follows.
Every week (except before recess week and at the end of the semester),
there will be mandatory exercises, to be solved in group and
uploaded on Canvas. All of these exercises need to be approved in order
to participate in the term project.
- Once we are off the ground, i.e., after the 2 first weeks, each weekly handin is in 2 parts:
- the exercises proper (as one or several .ml file(s)), solved in groups, and
- a joint report (as a .pdf file), spell checked.
- The midterm project is in 2 parts:
- the project proper (as several .ml files), carried out in groups
in the same way as the previous weekly handins, and
- an individual report (as a .pdf file), written from scratch in your own words.
- The term project is in 2 parts:
- the project proper (as several .ml files), carried out in groups
in the same way as the midterm project, and
- an individual report (as a .pdf file), written from scratch in your own words.
- The grade is based on the following percentages:
- 11% for participation and non-mandatory exercises (weekly and in projects),
- 33% for the weekly handins,
- 26% for the midterm project, and
- 30% for the term project.
Digital signatures
All the resource .ml files from Week 07 and onwards are digitally signed in that at the end of the file,
there is a comment that contains a copy of what happens when this file is loaded.
This comment certifies that
- the file loads completely
- it contains no traces and no evaluations: just the signatures (i.e., names and types) of what is defined in the file.
You are requested to “digitally sign” your .ml files in this manner before uploading them on Canvas.
(And if you wonder what to do, e.g., with the traces, put what OCaml does
with them in a comment, so that your reader (which includes you in the
future) sees them when they read the file, not when they load it.)
Version
Added the section about digital signatures
[20 Mar 2021]
Created
[21 Feb 2021, belatedly]