Playing Sudoku in TypeScript while the type checker highlights mistakes. - View it on GitHub