A bidirectional typechecking puzzle in the Grace programming language

(haskellforall.com)

5 points | by fanf2 13 hours ago ago

No comments yet.