4 lines
120 B
Text
4 lines
120 B
Text
|
|
inc_string(str):=if stringp(str) and numberp(eval_string(str)) then string(eval_string(str)+1)$
|
||
|
|
"12345"$
|
||
|
|
inc_string(%);
|