Topic/TypeInterface

- Part 0: Designing a Language without a Parser ยท Thunderseethe's Devlog: Designing a language, types first
- Part 1: Bidirectional Constraint Generation
- Part 2: Tying up Type Inference
- Part 3: Rowing Afloat Datatype Boats
- Part 4: TypeChecking Top Level Functions
- Part 5a: Lowering Our AST to Escape the Typechecker
- Part 5b: Escaping the Typechecker, an Implementation
- Part 6a: Lowering Row Types, Evidently
- Part 6b: The Types of Lowered Rows
- Part 6c: The Heart of Lowered Rows
- Part 7: Lowering Top Level Items