A bidirectional typechecking puzzle in the Grace programming language

 (haskellforall.com)

5 points | by fanf2 14 hours ago ago

No comments yet.