GenAutomata Sections NuprlLIB Doc

Def dec2bool(d) == InjCase(d; x. true, false)

is mentioned

In prior sections: mb basic


GenAutomata Sections NuprlLIB Doc