4 lines
58 B
Text
4 lines
58 B
Text
#import nat
|
|
#cast %n
|
|
|
|
test = compose(successor,double) 3
|
#import nat
|
|
#cast %n
|
|
|
|
test = compose(successor,double) 3
|