A bidirectional typechecking puzzle in the Grace programming language

• Posted 2 hours ago by fanf2
• 4 points