Filtering options Search keyword in Filter by languageAll languages (default)CurryPrologHaskell

---

Sorting optionsSort bycreation date (default)last modified datepopularitytitlelanguageOrder resultsdescending (default)ascending

curry list functional logic functional_pattern non-determinism sorting narrowing haskell higher-order constraints set_functions curry, finite_domain variables unification recursion test example logic_programming function_inversion prolog constrained_constructor incremental_solution comprehension