Read news on type checker with our app.
Read more in the app
An introduction to formal proof verification and the Curry-Howard Correspondence
The Easiest Way to Build a Type Checker
Roadmap for Improving the Type Checker
Baby's first type checker
Playing Sudoku in TypeScript while the type checker highlights mistakes
The last days of my type checker for JavaScript
