Hacker News new | ask | show | jobs
Church Encoding, Parametricity, and the Yoneda Lemma (blog.wybxc.cc)
2 points by g0xA52A2A 31 days ago