main = f 10 1;
f x acc = case x of 1 -> acc;
                    n -> (case acc * n of m -> f (n - 1) m)

1 nodes

fac2__1.png

5 nodes

fac2__2.png

9 nodes

fac2__3.png

9 nodes

fac2__4.png

9 nodes

fac2__5.png

9 nodes

fac2__6.png

9 nodes

fac2__7.png

9 nodes

fac2__8.png

9 nodes

fac2__9.png

9 nodes

fac2__10.png

9 nodes

fac2__11.png

1 nodes

fac2__12.png