YOU SAID:
-- | @atLength atLen atEnd ls n@ unravels list @ls@ to position @n@. Precisely:
INTO JAPANESE
-| @atLength atLen atEnd ls n @は、リスト@ ls @を@ n @の位置に展開します。正確に：
BACK INTO ENGLISH
-| @atLength atLen atEnd ls n @ expands the list @ ls @ to the position @ n @. accurately:
INTO JAPANESE
-| @atLength atLen atEnd ls n @は、リスト@ ls @を@ n @の位置に展開します。正確に：
BACK INTO ENGLISH
-| @atLength atLen atEnd ls n @ expands the list @ ls @ to the position @ n @. accurately:
You've done this before, haven't you.
