Show HN: Lambda Calculus evaluation with type-annotations in TypeScript(github.com)2 points by evolveyourmind 4 years ago | 0 commentsNo comments yet