Mahir Exercism • idris

Flatten Array