Church Encoding, Parametricity, and the Yoneda Lemma

(blog.wybxc.cc)

2 points | by g0xA52A2A 10 hours ago ago

No comments yet.