automata
5
Sections
AutomataTheory
Doc
Def
map(f;as) == Case of as; nil
nil ; a.as'
f(a).map(f;as') (recursive)
In prior sections:
list
1
nil ; a.as' f(a).map(f;as') (recursive)