From 641acf95ba17be8de43b9d3464a5a9a6a3411ab8 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Sun, 31 May 2026 17:28:44 +0200 Subject: [PATCH] feat(journal): update end of week 3 --- journal/tapl_progress.typ | 3 ++- journal/week3.typ | 6 ++++++ 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/journal/tapl_progress.typ b/journal/tapl_progress.typ index 4e0aa70..299ffa4 100644 --- a/journal/tapl_progress.typ +++ b/journal/tapl_progress.typ @@ -76,7 +76,7 @@ depends-on: (7, 9), ), "11": ( - state: "current", + state: "done", pos: (3, 3), depends-on: (9,), ), @@ -126,6 +126,7 @@ depends-on: (11,), ), "23": ( + state: "current", pos: (7, 3), depends-on: (9,), ), diff --git a/journal/week3.typ b/journal/week3.typ index 6d666d8..3634c1d 100644 --- a/journal/week3.typ +++ b/journal/week3.typ @@ -24,3 +24,9 @@ - Read TAPL (11) - Implement checker base + +#day(5) + +- Integrate checker in tester +- Type check function calls +- Add casting