diff --git a/journal/week6.typ b/journal/week6.typ
index e74069b..d3206b6 100644
--- a/journal/week6.typ
+++ b/journal/week6.typ
@@ -29,3 +29,12 @@
 #day(5)
 
 - Type check predicate body
+
+#day(6)
+
+- Add variance to type variables (infer, use in subtype check, integrate in generated stubs)
+- Unify / match types in generic function calls
+
+#day(7)
+
+- Unify / match types in generic function calls
\ No newline at end of file