Tag: Lowering

Part 5b: Escaping the Typechecker, an Implementation
February 4, 2025 ⊢ Implementation of our lowering function
Part 5a: Lowering Our AST to Escape the Typechecker
January 28, 2025 ⊢ Lowering our typed base AST into a System-F based IR