LCTS (Lambda Calculus - Typescript)

A naive implementation of Lambda Calculus on the type level.
It will have multiple versions every time I think in a possible different way of encoding things.

Versions