logo
Hacker News
A bidirectional typechecking puzzle in the Grace programming language (haskellforall.com)
4 points by fanf2 3 hours ago | discuss