A bidirectional typechecking puzzle in the Grace programming language

(haskellforall.com) by fanf2 | May 6, 2026 | 0 comments on HN