GenAutomata
Sections
NuprlLIB
Doc
Def
mapcons(f;as) == Case of as; nil
nil ; a.as'
[(f(a,as')) / mapcons(f;as')] (recursive)
is mentioned
In prior sections:
list
1
GenAutomata
Sections
NuprlLIB
Doc
nil ; a.as' [(f(a,as')) / mapcons(f;as')] (recursive)