GitHub - gruhn/typescript-sudoku: Playing Sudoku in TypeScript while the type checker highlights mistakes.