Type-Level Lambda Calculus interpreter with TypeScript
Why do you think that https://github.com/tc39/proposal-type-annotations is a good alternative to ts-lambda-calc
Type-Level Lambda Calculus interpreter with TypeScript
Why do you think that https://github.com/tc39/proposal-type-annotations is a good alternative to ts-lambda-calc