A bidirectional typechecking puzzle in the Grace programming language

 (haskellforall.com)

5 points | by fanf2 7 days ago ago

No comments yet.