$ CODIGO
log in

Curry

Curry logo
Edit on GitHub GitHub logo

Paradigms

functional, logic, constraint

Typing

static system, strong typing, full inference

Influenced By

Haskell, Prolog

File extensions

curry

External Links

Type programming
Created 1995
Developed by University of Kiel
PyPL Index N/A
TIOBE Index N/A
GitHub rank N/A

Code Example

↓
Loading...