Next.js Hacker News
A bidirectional typechecking puzzle in the Grace programming language
4 points by fanf2 2 hours ago | discuss