Hacker News new | ask | show | jobs
A Bidirectional Typechecking Puzzle (haskellforall.com)
3 points by g0xA52A2A 49 days ago