code-conjure-0.1.0: test/model/eg/factorial.out
factorial :: Int -> Int -- looking through 8576 candidates, 100% match, 6/6 assignments factorial x = if isZero x then 1 else x * factorial (dec x)
factorial :: Int -> Int -- looking through 8576 candidates, 100% match, 6/6 assignments factorial x = if isZero x then 1 else x * factorial (dec x)