Tag: Lowering
- Lowering[2].Items: Lowering Top Level ItemsMarch 4, 2025 ⊢ Lowering top level items into our IR. A more elaborate affair than anticipated.
- Lowering[1].Rows[2]: The Heart of Lowered RowsFebruary 26, 2025 ⊢ Lowering row asts by generating evidence terms
- Lowering[1].Rows[1]: The Types of Lowered RowsFebruary 18, 2025 ⊢ Lowering row evidence from our type scheme
- Lowering[1].Rows[0]: Lowering Row Types, EvidentlyFebruary 11, 2025 ⊢ Explaining how we'll lower row types into our IR
- Lowering[0].Base[1]: Escaping the Typechecker, an ImplementationFebruary 4, 2025 ⊢ Implementation of our lowering function
- Lowering[0].Base[0]: Lowering Our AST to Escape the TypecheckerJanuary 28, 2025 ⊢ Lowering our typed base AST into a System-F based IR