packages feed

code-conjure-0.3.4: eg/spec.out

sum :: [Int] -> Int
-- testing 3 combinations of argument values
-- looking through 1 candidates of size 1
-- looking through 1 candidates of size 2
-- looking through 1 candidates of size 3
-- looking through 1 candidates of size 4
-- looking through 2 candidates of size 5
-- looking through 2 candidates of size 6
-- looking through 5 candidates of size 7
-- looking through 10 candidates of size 8
-- looking through 17 candidates of size 9
-- looking through 28 candidates of size 10
sum xs  =  if null xs then 0 else head xs + sum (tail xs)

(++) :: [Int] -> [Int] -> [Int]
-- testing 3 combinations of argument values
-- looking through 2 candidates of size 1
-- looking through 2 candidates of size 2
-- looking through 2 candidates of size 3
-- looking through 6 candidates of size 4
-- looking through 10 candidates of size 5
-- looking through 14 candidates of size 6
-- looking through 26 candidates of size 7
-- looking through 94 candidates of size 8
-- looking through 298 candidates of size 9
-- looking through 766 candidates of size 10
-- looking through 2010 candidates of size 11
xs ++ ys  =  if null xs then ys else head xs:(tail xs ++ ys)