diff --git a/README.md b/README.md index 9e2036240eb4f32454c1f384642ff497aaab9db1..7c7103344aded69ea71d1f61bd920ad4566bf156 100644 --- a/README.md +++ b/README.md @@ -35,7 +35,7 @@ The grade is based on a midterm (30%) as well as team project work (70%). Please | Week | Labs | Day | Date | Time | Room | Topic | Materials | | :-- | :-- | :-- | :-- | :-- | :-- | :-- | :-- | | | ..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 release | +| | ..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 | | | ..34.. | Fri | 28.03.2025 | 13:15 | ELA 2 | Lecture 8 | Type Inference. Code generation |