Age | Commit message (Expand) | Author |
---|---|---|
2025-06-19 | Fix missing character warning. | Chloe Brown |
2025-06-12 | Revert to acmart. | Chloe Brown |
2025-06-12 | Include cautionary tale. | Chloe Brown |
2025-06-12 | Justify extrinsic certificate. | Chloe Brown |
2025-06-12 | Outline bidirectional algorithm. | Chloe Brown |
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 |