From f3698c7093a6edcd0b4e17b5c00d785adeeddeed Mon Sep 17 00:00:00 2001 From: Viktor Kuncak <viktor.kuncak@epfl.ch> Date: Fri, 21 Mar 2025 16:47:23 +0100 Subject: [PATCH] Schedule of labs vs exercises --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index 7c71033..a605c9b 100644 --- a/README.md +++ b/README.md @@ -37,11 +37,11 @@ The grade is based on a midterm (30%) as well as team project work (70%). Please | | ..3... | Fri | 21.03.2025 | 13:15 | ELA 2 | Lecture 7 | [Type Checking](https://mediaspace.epfl.ch/media/07-03%2C+Type+Rules%2C+Progress%2C+Preservation/0_znlmwvlt) [(PDF)](info/lectures/lec07-soundness.pdf), [Type Inference](https://mediaspace.epfl.ch/media/08-01%2C+Type+Inference/0_txnn92oh) [(PDF)](info/lectures/lec07-inference.pdf) | | | ..34.. | Fri | 21.03.2025 | 15:15 | ELA 2 | Lab 4 | [Typer lab](info/labs/lab04/) release | | | | | | | | | -| 6 | ..34.. | Wed | 26.03.2025 | 13:15 | BC 01 | Exercises 4 | Parsing. Type checking | +| 6 | ..34.. | Wed | 26.03.2025 | 13:15 | BC 01 | Exercises 4 | Type checking | | | ..34.. | Fri | 28.03.2025 | 13:15 | ELA 2 | Lecture 8 | Type Inference. Code generation | -| | ..34.. | Fri | 28.03.2025 | 15:15 | ELA 2 | Exercises 5 | Type checking | +| | ..34.. | Fri | 28.03.2025 | 15:15 | ELA 2 | Lab 4 | [Typer lab](info/labs/lab04/) | | | | | | | | | -| 7 | ...4.. | Wed | 02.04.2025 | 13:15 | BC 01 | Exercise | | +| 7 | ...4.. | Wed | 02.04.2025 | 13:15 | BC 01 | Exercise 5 | Type checking and more | | | ...4.. | Fri | 04.04.2025 | 13:15 | ELA+CM | **EXAM** | | | | ...4.. | Fri | 04.04.2025 | 15:15 | ELA+CM | **EXAM** | | | | | | | | | | -- GitLab