Inspired by the HOTScript project and armed with knowledge from going through https://type-level-typescript.com/ as well as attempting some of the type-challenges I wanted to see if I could use TypeScript types to solve advent of code problems.
Many of the algorithms I've implemented for the numbers have been from me trying to figure out how to do it and using HOTScript as a reference implementation when I couldn't figure out the algorithm fully.
While the type system gives you a functional language that lets you solve complex problems, it has a fairly aggressive cap on recursion limits. A fair few problems I've tackled will work for the examples given, but rapidly hit recursion limits when given full inputs!