2 lines
47 B
Plaintext
2 lines
47 B
Plaintext
fun (z : A) => fun (f : A -> A) => f (f (f z))
|
fun (z : A) => fun (f : A -> A) => f (f (f z))
|