9 lines
161 B
PostScript
9 lines
161 B
PostScript
|
|
/A {
|
||
|
|
[/.m /.n] let
|
||
|
|
{
|
||
|
|
{.m 0 eq} {.n succ} is?
|
||
|
|
{.m 0 gt .n 0 eq and} {.m pred 1 A} is?
|
||
|
|
{.m 0 gt .n 0 gt and} {.m pred .m .n pred A A} is?
|
||
|
|
} cond
|
||
|
|
end}.
|