32 lines
517 B
Typst
32 lines
517 B
Typst
#import "template.typ": week, day
|
|
|
|
#show: week.with(num: 6)
|
|
|
|
#day(1)
|
|
|
|
- Simple code generator
|
|
- Redesign CLI
|
|
- Split overloaded command into multiple simple commands
|
|
- 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
|