31 lines
700 B
Typst
31 lines
700 B
Typst
#import "template.typ": week, day
|
|
|
|
#show: week.with(num: 2)
|
|
|
|
#day(1)
|
|
|
|
- Finish implementing basic parsers
|
|
- Add tests for lexers and parsers
|
|
|
|
#day(2)
|
|
|
|
- Weekly meeting:
|
|
- Drop annotation parser $->$ use Python AST
|
|
- Change syntax to match existing patterns / Python
|
|
- Set up testing framework with full file tests
|
|
- Generic types
|
|
- Possible reading: Types and Programming Languages, Benjamin C. Pierce (chapters 3, 5, 8, 9)
|
|
- Implement a snapshot tester
|
|
- Revise Midas syntax following weekly meeting comments
|
|
|
|
#day(3)
|
|
- Revise Midas syntax
|
|
- Report on syntax revisions
|
|
|
|
#day(4)
|
|
- Update EBNF
|
|
- Rewrite parser
|
|
|
|
#day(5)
|
|
- Write parser for Python source (annotations and functions)
|