diff --git a/journal/week3.typ b/journal/week3.typ
index 3634c1d..49fa9cc 100644
--- a/journal/week3.typ
+++ b/journal/week3.typ
@@ -30,3 +30,9 @@
 - Integrate checker in tester
 - Type check function calls
 - Add casting
+
+#day(7)
+
+- Read TAPL (11, 23)
+- Add docstrings
+- Parse `AugAssign`
diff --git a/journal/week4.typ b/journal/week4.typ
new file mode 100644
index 0000000..86d213a
--- /dev/null
+++ b/journal/week4.typ
@@ -0,0 +1,9 @@
+#import "template.typ": week, day
+
+#show: week.with(num: 4)
+
+#day(1)
+
+- Read TAPL (15)
+- Show type checker diagnostics
+- Update VSCode syntax highlighting extension