Show HN: Lambda Calculus evaluation with type-annotations in TypeScriptgithub.com/EvolveYourMind2 pointsevolveyourmind5 years ago