3 lines
68 B
Text
3 lines
68 B
Text
#import nat
|
|
|
|
fact = my_fix "f". ~&?\1! product^/~& "f"+ predecessor
|
#import nat
|
|
|
|
fact = my_fix "f". ~&?\1! product^/~& "f"+ predecessor
|