Curry is a programming language that is based on the functional programming paradigm. It was created by David Curry and his team at the University of Manchester in the early 1980s. Curry is a statically typed, higher-order language that supports lazy evaluation and pattern matching. It also has a strong basis in logic, which makes it a suitable choice for developing theorem provers and other similar applications.