summaryrefslogtreecommitdiff
path: root/sec/compiler.ltx
AgeCommit message (Collapse)Author
2025-06-26Fix figure 8 (modulo small).HEADmasterChloe Brown
2025-06-26Fix 967--979.Chloe Brown
2025-06-26Fix 960--966.Chloe Brown
2025-06-26Fix 955--960.Chloe Brown
2025-06-26Really fix 947--950.Chloe Brown
2025-06-26Fix 747--950.Chloe Brown
2025-06-26Fix 941--947.Chloe Brown
2025-06-26Fix 935--940.Chloe Brown
2025-06-26Fix 925--927.Chloe Brown
2025-06-19Fix missing character warning.Chloe Brown
2025-06-12Revert to acmart.Chloe Brown
2025-06-12Include cautionary tale.Chloe Brown
2025-06-12Justify extrinsic certificate.Chloe Brown
2025-06-12Outline bidirectional algorithm.Chloe Brown
2025-06-12Give bidirectional typing rules.Chloe Brown
2025-06-12Explain why we parse to intrinsically well-scoped AST.Chloe Brown
2025-06-11Explain differences from Neel and Jeremy's parser.Chloe Brown
2025-05-30Explain intrinsically well-scoped syntax.Chloe Brown
2025-05-30Reorder and extend TODOs.Chloe Brown
2025-05-30Summarise the compiler passes.Chloe Brown
2025-05-20Finish revisions.Chloe Brown
2025-04-23Current state of affairs.Chloe Brown
2025-03-25Before the big rewriteChloe Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-07-17 23:37:45 +0000