40 lines
731 B
Typst
40 lines
731 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.)
|
|
- Weekly meeting
|
|
|
|
#day(3)
|
|
|
|
- Halfway presentations
|
|
- Define formal syntax and typing rules
|
|
|
|
#day(5)
|
|
|
|
- Work on formal rules
|
|
- Update syntax definition (EBNF + railroad diagrams)
|
|
- Add usage documentation
|
|
- Implement subtyping
|
|
|
|
#day(6)
|
|
|
|
- Implement subtyping
|
|
|
|
#day(7)
|
|
|
|
- Implement subtyping
|
|
- Implement attribute reference and assignments
|
|
- Improve diagnostics in CLI
|