diff --git a/journal/week6.typ b/journal/week6.typ index e73cf77..e74069b 100644 --- a/journal/week6.typ +++ b/journal/week6.typ @@ -1,6 +1,6 @@ #import "template.typ": week, day -#show: week.with(num: 5) +#show: week.with(num: 6) #day(1) @@ -10,3 +10,22 @@ - Add some commands - Add for loops - Start implementing cast assertions + +#day(2) + +- Weekly meeting +- Forward raw unhandled Python statements and expressions +- Generate cast assertions (type) +- Add generator tests + +#day(3) + +- Generate stubs from Midas definitions + +#day(4) + +- Generate predicate functions + +#day(5) + +- Type check predicate body