action
sets
Sections
AutomataTheory
Doc
Def
rev(as) == Case of as; nil
nil ; a.as'
rev(as') @ [a] (recursive)
In prior sections:
list
1
nil ; a.as' rev(as') @ [a] (recursive)