From 93a3331a87afad83bf3299ae632fa49ed3a11276 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Thu, 11 Jun 2026 09:46:35 +0200
Subject: [PATCH] feat(journal): update week 5

---
 journal/week5.typ | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 journal/week5.typ

diff --git a/journal/week5.typ b/journal/week5.typ
new file mode 100644
index 0000000..deb358a
--- /dev/null
+++ b/journal/week5.typ
@@ -0,0 +1,22 @@
+#import "template.typ": week, day
+
+#show: week.with(num: 5)
+
+#day(1)
+
+- Implement generics
+- Refactor type checker
+- Create demo program
+
+#day(2)
+
+- Define formal calculus rules
+- Add type params to extend block
+
+#day(3)
+
+- Rework extend block for methods
+  - Goal: allow defining any method on types
+  - Issues:
+    - `GetExpr` can reference either a property on a `ComplexType` or a method.
+    - A method (or function) can be overloaded, for example ```py list[T].__getitem__(int) -> T``` and ```py list[T].__getitem__(slice) -> list[T]```