A bidirectional typechecking puzzle in the Grace programming language

(haskellforall.com)

5 points | by fanf2 4 hours ago ago

No comments yet.