languages Sections AutomataTheory Doc

Def firstn(n;as) == Case of as; nil nil ; a.as' if 0 < n a.firstn(n-1;as') else nil fi (recursive)

In prior sections: list 1 list 3 autom