recursive-conditionals

There are 3 repositories under recursive-conditionals topic.

  • eamonnboyle/sudoku-type-solver

    This repository is just a bit of fun that explores pushing the advanced features of TypeScript's type system to the limits by using it to solve Sudoku puzzles.

    Language:TypeScript35202

  • fwcd/tylude

    Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types

    Language:TypeScript730

  • eamonnboyle/12-days-of-christmas-type-solver

    This repository is just a bit of fun that explores pushing the advanced features of TypeScript's type system to the limits by using it to generate a type for the lyrics of The 12 Days of Christmas.

    Language:TypeScript4200