2 lines
73 B
Text
2 lines
73 B
Text
g 0:+1:+1 (1:+1 + 2:+1):+1 : num
|
|
g (f (f 0)) (f (add (f 1) (f 2))) : num
|
g 0:+1:+1 (1:+1 + 2:+1):+1 : num
|
|
g (f (f 0)) (f (add (f 1) (f 2))) : num
|