feat(journal): update end of week 6

2026-06-22 11:15:18 +02:00
parent 9317ce370f
commit 9620e35838
1 changed files with 9 additions and 0 deletions
--- 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