2 lines
70 B
Text
2 lines
70 B
Text
(r "f") "x" = "f"("f","x")
|
|
my_fix "h" = r ("f","x"). ("h" r "f") "x"
|
(r "f") "x" = "f"("f","x")
|
|
my_fix "h" = r ("f","x"). ("h" r "f") "x"
|