1 line
62 B
Text
1 line
62 B
Text
let fix f g = (fun x a -> f (x x) a) (fun x a -> f (x x) a) g
|
let fix f g = (fun x a -> f (x x) a) (fun x a -> f (x x) a) g
|