Advanced Exercism • idris

Prime Factors