From c6e2439a9108d7bbce517899b375defc45710d98 Mon Sep 17 00:00:00 2001 From: LordBaryhobal Date: Tue, 2 Jun 2026 13:31:35 +0200 Subject: [PATCH] feat(journal): update start of week 4 day 2 --- journal/tapl_progress.typ | 1 + journal/week4.typ | 8 +++++++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/journal/tapl_progress.typ b/journal/tapl_progress.typ index b7d5668..fe6aff9 100644 --- a/journal/tapl_progress.typ +++ b/journal/tapl_progress.typ @@ -126,6 +126,7 @@ depends-on: (20, 15), ), "22": ( + state: "current", pos: (4.5, 4), depends-on: (11,), ), diff --git a/journal/week4.typ b/journal/week4.typ index 4487dfd..5dd1705 100644 --- a/journal/week4.typ +++ b/journal/week4.typ @@ -7,4 +7,10 @@ - Read TAPL (15, 16, 17, \~12) - Show type checker diagnostics - Update VSCode syntax highlighting extension -- Add support for if statements and ternary expressions \ No newline at end of file +- Add support for if statements and ternary expressions + +#day(2) + +- Read TAPL (22) +- Rework abstract types +- Generalize syntax (more modularity for generics, unions, constraints, etc.)