diff --git a/README.md b/README.md index 7c7103344aded69ea71d1f61bd920ad4566bf156..a605c9bf6f9e8cd8c6d141b24a7451cf5f204f04 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** | | | | | | | | | |