This is an experiment to precisely define a Sudoku type. The goal is that we can play Sudoku in TypeScript while the type checker complains about mistakes. This is not about implementing a Sudoku ...
The system can also process data, as demonstrated by solving sudoku puzzles. You have more data storage capacity in your little finger than the best electronic hard drive. And we mean that ...