feat(admin): update planning with current progress

admin/planning.typ

@@ -1,6 +1,6 @@
 #set text(font: "Source Sans 3")
 
-= General Planning
+= Initial Planning
 
 #table(
   columns: (auto, 1fr),
@@ -16,3 +16,20 @@
   [*8*],
   [*9*],
 )
+
+= History
+
+#table(
+  columns: (auto, 1fr),
+  align: (center, left + horizon),
+  table.header[*Week*][*Objectives*],
+  [*1*], [Kickoff, setup project, start prototyping a syntax],
+  [*2*], [Syntax prototype, simple parser],
+  [*3*], [Basic type checker (assignments, functions, operations)],
+  [*4*], [Diagnostics, type check control flow, refine architecture, subtyping],
+  [*5*], [Generic types, methods and overloads, simple code generator],
+  [*6*], [For loops, generate assertions, generate stubs, constraints, variance, type unification],
+  [*7*], [],
+  [*8*], [],
+  [*9*], [],
+)

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