HEL/TB-Docs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

feat(journal): update day 2 and start of day3

Browse Source
This commit is contained in:
Louis Heredero
2026-05-20 14:12:10 +02:00
parent 74698073e7
commit 119e5cd8af
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
journal/week2.typ
View File

@@ -15,3 +15,9 @@
- Set up testing framework with full file tests - Set up testing framework with full file tests
- Generic types - Generic types
- Possible reading: Types and Programming Languages, Benjamin C. Pierce (chapters 3, 5, 8, 9) - 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