ionchigae :ms_stew: on Nostr: I'm going through my twitter bookmarks to see if there's anything worth keeping and I ...

I'm going through my twitter bookmarks to see if there's anything worth keeping and I think the most interesting one is this one by nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqcecednk59knsaau2g7gkuclanqhk55ezcvtp2retxxvz06t5ynvqkmdy8w (nprofile…dy8w) https://twitter.com/RrrichardZach/status/1575681782472937472
on where α-/β-/η-equivalence came from, and the answer being "Church used all the letters" lol
(Appendix B, p. 380 of Curry & Feys)