GenAutomata
Sections
NuprlLIB
Doc
Def
zip(as;bs) == Case of as; nil
nil ; a.as'
Case of bs; nil
nil ; b.bs'
[ < a,b > / zip(as';bs')] (recursive)
is mentioned
In prior sections:
mb
list
1
mb
automata
3
GenAutomata
Sections
NuprlLIB
Doc