mb
collection
Sections
GenAutomata
Doc
Def
nth_tl(n;as) == if n
0
as else nth_tl(n-1;tl(as)) fi (recursive)
is mentioned
In prior sections:
list
1
Try larger context:
GenAutomata
mb
collection
Sections
GenAutomata
Doc
0
as else nth_tl(n-1;tl(as)) fi (recursive)