17 lines
364 B
Typst
17 lines
364 B
Typst
#import "template.typ": week, day
|
|
|
|
#show: week.with(num: 4)
|
|
|
|
#day(1)
|
|
|
|
- Read TAPL (15, 16, 17, \~12)
|
|
- Show type checker diagnostics
|
|
- Update VSCode syntax highlighting extension
|
|
- Add support for if statements and ternary expressions
|
|
|
|
#day(2)
|
|
|
|
- Read TAPL (22)
|
|
- Rework abstract types
|
|
- Generalize syntax (more modularity for generics, unions, constraints, etc.)
|