I think I finally have it. Partial application is taking a function of N parameters, binding a value to one of them, and turning it into a function of N-1 parameters. Currying is where ask is that a function that takes two ints and returns an int, or is that a function that takes one int and returns a function that takes an int and returns an int, and the answer is yes. Currying implies partial application, but not all partial application is currying.