12<-1
This commit is contained in:
parent
20664156ac
commit
61142fa289
1 changed files with 1 additions and 1 deletions
|
@ -149,7 +149,7 @@ We also show the limits of dependently-typed functional programming.
|
||||||
|
|
||||||
## Evaluation of the course
|
## Evaluation of the course
|
||||||
|
|
||||||
Two written exams (a partial exam on Friday Dec 12 and a final exam) and one
|
Two written exams (a partial exam on Friday Dec 1 and a final exam) and one
|
||||||
programming project or several programming exercises are used to evaluate
|
programming project or several programming exercises are used to evaluate
|
||||||
the students that follow the full course. Only the partial exam will count
|
the students that follow the full course. Only the partial exam will count
|
||||||
to grade students who split the course.
|
to grade students who split the course.
|
||||||
|
|
Loading…
Reference in a new issue