Tag: Programming Languages

Turning Our AST Into Type Constraints
June 24, 2023 ⊢ Generate Type Constraints with a Bidirectional Type System
Typechecking a Language without a Parser
June 17, 2023 ⊢ Designing a language, types first

«
‹
1
2
3