feat(journal): update start of week 4 day 2

journal/tapl_progress.typ

@@ -1,4 +1,4 @@
-#import "@local/cetz:0.3.5": canvas, draw
+#import "@preview/cetz:0.5.2": canvas, draw
 #import "@preview/modpattern:0.1.0": modpattern
 
 #let stripe(stroke) = line(
@@ -81,6 +81,7 @@
     depends-on: (9,),
   ),
   "12": (
+    state: "skimmed",
     pos: (4, 3),
     depends-on: (9,),
   ),
@@ -93,14 +94,17 @@
     depends-on: (11,),
   ),
   "15": (
+    state: "done",
     pos: (3.5, 4),
     depends-on: (11,),
   ),
   "16": (
+    state: "done",
     pos: (1, 5),
     depends-on: (15,),
   ),
   "17": (
+    state: "done",
     pos: (0.5, 6),
     depends-on: (10, 16),
   ),
@@ -122,6 +126,7 @@
     depends-on: (20, 15),
   ),
   "22": (
+    state: "current",
     pos: (4.5, 4),
     depends-on: (11,),
   ),

journal/week4.typ

@@ -4,6 +4,13 @@
 
 #day(1)
 
-- Read TAPL (15)
+- Read TAPL (15, 16, 17, \~12)
 - Show type checker diagnostics
 - Update VSCode syntax highlighting extension
+- 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.)