Speaking of names, in the abstract of the paper they mention: > Curry (“Composition”, 1948) And suddenly I was like wow I wonder if the concept of currying wa

Speaking of names, in the abstract of the paper they mention: > Curry (“Composition”, 1948) And suddenly I was like wow I wonder if the concept of currying was invented by this guy so I look it up. Turns out that while someone else is credited for inventing currying, it’s named after this Curry guy indeed. And more things are named after him, including the Haskell programming language. https://en.wikipedia.org/wiki/Currying https://en.wikipedia.org/wiki/Currying https://en.wikipedia.org/wiki/Haskell_Curry https://en.wikipedia.org/wiki/Haskell_Curry