diff --git a/README.md b/README.md index cf15803a4875f47c59c5ce503e77af8d24bdaf3f..97d1277bfa0fae27d94cfd96f88c05794fa6f1ec 100644 --- a/README.md +++ b/README.md @@ -103,7 +103,8 @@ The syllabus is organized in four main segments of five lectures each. ### Programming with Resources in Rust * (24/01/2024) Introduction to Rust programming (JHJ) ([slides](slides/jhjourdan-01.pdf)). -* (31/01/2024) When the aliasing discipline is too strong (JHJ). +* (31/01/2024) When the aliasing discipline is too strong (JHJ) ([slides](slides/jhjourdan-02.pdf)). + + Hands-on: binary search trees in Rust ([exercises](tdtp/jhjourdan1.pdf), [solution](tdtp/jhjourdan1_solution.rs)). * (07/02/2024) Multi-threading (JHJ). * (14/02/2024) Metatheory of Rust's type system (JHJ). * (21/02/2024) Exercise session (PED). diff --git a/slides/jhjourdan-02.pdf b/slides/jhjourdan-02.pdf index b48be72c74f1f094edfffcd838642793aea69a4b..293e2fa080f493d4c459add4225c513bd1350814 100644 Binary files a/slides/jhjourdan-02.pdf and b/slides/jhjourdan-02.pdf differ diff --git a/tdtp/jhjourdan1.pdf b/tdtp/jhjourdan1.pdf index 9eff91609344fa90383b736c2dae3e69516ec551..843c0b8bee1df4bc167ebc269be6920de9b72dae 100644 Binary files a/tdtp/jhjourdan1.pdf and b/tdtp/jhjourdan1.pdf differ