A Sudoku solver in TypeScript's type system

Show HN: A Sudoku solver in TypeScript's type system

A Sudoku solver in TypeScript's type system is active in the show hn launch space.

Profile

GitHub: https://github.com/RuyiLi/cursed-typescript/blob/master/rand...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://news.ycombinator.com/item?id=37438028 :)

The company sits in the show hn launch segment, where it competes on its core product or service.

Its current recorded stage is Show HN launch.

Website: tsplay.dev/sudoku