6 ms·Show HN: Lambda Calculus evaluation with type-annotations in TypeScript2 points by evolveyourmind 5y ago