(@ factorial n .res +-                                               factorial = n + res ->
    (1 .res ..)                                                        res = 1 ..
    (.* 1..n x >  
        (*= x .res)                                                    do {1..n} x ->
    )                                                                    res *= x
)                                                                      ;
                                                                     ;
