Curry Wiki

If you are not automatically redirected within 3 seconds please use this link to the Curry Wiki.

Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming. Moreover, it also covers the most important operational principles developed in the area of integrated functional logic languages: ''residuation'' and ''narrowing''.