Advanced Exercism • idris

Flatten Array