GenAutomata
Sections
NuprlLIB
Doc
Def
a
n == if 0
a
a
n ;((-a) rem n)=
0
-((-a)
n) else -((-a)
n)+-1 fi
is mentioned
In prior sections:
int
2
GenAutomata
Sections
NuprlLIB
Doc
n == if 0
a
a n ;((-a) rem n)=0-((-a) n) else -((-a) n)+-1 fi