Posts
- What's in a Module?July 31, 2023 ⊢ A discussion of the overloaded use of modules in languages
- Part 2: Tying up Type InferenceJuly 1, 2023 ⊢ Solve Type Constraints via Unification
- Part 1: Bidirectional Constraint GenerationJune 24, 2023 ⊢ Generate Type Constraints with a Bidirectional Type System
- Part 0: Designing a Language without a ParserJune 17, 2023 ⊢ Designing a language, types first