2 ms·
You are right! But let's do it the proper way {-# RULES "product/1" forall x. product [1..x] = product [2..x] #-} fac n = product [1..n]
by lelf 13y ago
You are right! But let's do it the proper way
{-# RULES
"product/1" forall x. product [1..x] = product [2..x]
#-}
fac n = product [1..n]