Hacker News new | ask | show | jobs
Show HN: Lambda Calculus evaluation with type-annotations in TypeScript (github.com)
2 points by evolveyourmind 1644 days ago