[SOLVED] CS计算机代考程序代写 let Z = fun f ->

let Z = fun f ->
app
fun x -> app f to fun v -> app app x to x to v
to
fun x -> app f to fun v -> app app x to x to v
in
let fact’ = fun fact -> fun n ->
if app app (<=) to n to 1 then 1 else app app (*) to n to app fact to app app (-) to n to 1inlet fact = app Z to fact’ inapp fact to 5