Show HN: Lambda Calculus evaluation with type-annotations in TypeScriptgithub.com2 points·evolveyourmind··0 commentsOpen articleSaveView on HN