Hacker News new | ask | show | jobs
GitHub: TypeScript compiler and JavaScript engine in Lean (github.com)
2 points by fagnerbrack 12 days ago