Show HN: A Sudoku solver in TypeScript's type system https://bit.ly/3uiYVM8

Show HN: A Sudoku solver in TypeScript's type system GitHub: https://bit.ly/3uiYWQc... Hi HN! I wrote a small file that solves sudoku puzzles at the type level - that is, entirely within TypeScript's type system, with no runtime code. To play with it, scroll down to the bottom (below where it says "BEGIN TESTING") and check out the examples. You can "run" the solver by hovering over the name of the type (e.g. SudokuEasySolved). Also, if you haven't seen it already, I did the same thing with Conway's Game of Life: https://bit.ly/484RmYi :) https://bit.ly/3w77RV8 February 11, 2024 at 02:39AM