Age | Commit message (Collapse) | Author | |
---|---|---|---|
2025-06-12 | Give bidirectional typing rules. | Chloe Brown | |
2025-06-12 | Explain why we parse to intrinsically well-scoped AST. | Chloe Brown | |
2025-06-11 | Explain differences from Neel and Jeremy's parser. | Chloe Brown | |
2025-05-30 | Explain intrinsically well-scoped syntax. | Chloe Brown | |
2025-05-30 | Reorder and extend TODOs. | Chloe Brown | |
2025-05-30 | Summarise the compiler passes. | Chloe Brown | |
2025-05-20 | Finish revisions. | Chloe Brown | |
2025-04-23 | Current state of affairs. | Chloe Brown | |
2025-03-25 | Before the big rewrite | Chloe Brown | |