Church Encoding, Parametricity, and the Yoneda Lemma (via josephjnk) — discussion

#math #programming