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