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