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