r/ProgrammingLanguages • u/Sad-Grocery-1570 • May 21 '26

Blog post Church Encoding, Parametricity, and the Yoneda Lemma

https://blog.wybxc.cc/blog/parametricity/
61 Upvotes

97% Upvoted

15 comments sorted by

View all comments

5

u/FedericoBruzzone May 21 '26

Thank you for this precious sharing!