39 lines
554 B
Typst
39 lines
554 B
Typst
#import "template.typ": week, day
|
|
|
|
#show: week.with(num: 3)
|
|
|
|
#day(1)
|
|
|
|
- Work on Python parser (expressions, assignments, calls, etc.)
|
|
- Read TAPL (3, 5)
|
|
|
|
#day(2)
|
|
|
|
- Weekly meeting
|
|
- Explore lambda-calculus rules definition
|
|
- Read TAPL (5, 8, 9)
|
|
- Start setuping checker
|
|
|
|
#day(3)
|
|
|
|
- Read TAPL (4, 6, 7, 10)
|
|
- Define general architecture
|
|
- Setup checker
|
|
|
|
#day(4)
|
|
|
|
- Read TAPL (11)
|
|
- Implement checker base
|
|
|
|
#day(5)
|
|
|
|
- Integrate checker in tester
|
|
- Type check function calls
|
|
- Add casting
|
|
|
|
#day(7)
|
|
|
|
- Read TAPL (11, 23)
|
|
- Add docstrings
|
|
- Parse `AugAssign`
|