From 61142fa289b80b2f3aba5815131cea79ca06f3b0 Mon Sep 17 00:00:00 2001 From: REMY Didier Date: Wed, 29 Nov 2017 16:28:14 +0100 Subject: [PATCH] 12<-1 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4e49d76..eebc21b 100644 --- a/README.md +++ b/README.md @@ -149,7 +149,7 @@ We also show the limits of dependently-typed functional programming. ## 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 the students that follow the full course. Only the partial exam will count to grade students who split the course.