Show HN: Lambda Calculus evaluation with type-annotations in TypeScript github.com 2 points by evolveyourmind 4 years ago · 0 comments Reader PiP Save No comments yet.