GenAutomata Sections NuprlLIB Doc

Def |i| == if 0i i else -i fi

is mentioned

In prior sections: int 2 num thy 1


GenAutomata Sections NuprlLIB Doc