Tag: Lowering
- Part 6a: Lowering Row Types, EvidentlyFebruary 11, 2025 ⊢ Explaining how we'll lower row types into our IR
- Part 5b: Escaping the Typechecker, an ImplementationFebruary 4, 2025 ⊢ Implementation of our lowering function
- Part 5a: Lowering Our AST to Escape the TypecheckerJanuary 28, 2025 ⊢ Lowering our typed base AST into a System-F based IR