Show HN: Type-level Lambda Calculus interpreter in TypeScriptgithub.com/EvolveYourMind10 pointsevolveyourmind5 years ago