Lowering row asts by generating evidence terms| Thunderseethe's Devlog
Lowering row evidence from our type scheme| Thunderseethe's Devlog
Explaining how we'll lower row types into our IR| Thunderseethe's Devlog
Implementation of our lowering function| thunderseethe's devlog
Lowering our typed base AST into a System-F based IR| thunderseethe's devlog