logoalt Hacker News

A bidirectional typechecking puzzle in the Grace programming language

4 points • by fanf2 • today at 8:42 AM • 0 comments • view on HN

Comments