Remix.run Logo
A bidirectional typechecking puzzle in the Grace programming language(haskellforall.com)
5 points by fanf2 14 hours ago