From 9620e35838d57353875d8a51190562c82ddedb59 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Mon, 22 Jun 2026 11:15:18 +0200
Subject: [PATCH] feat(journal): update end of week 6

---
 journal/week6.typ | 9 +++++++++
 1 file changed, 9 insertions(+)

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