Advanced Exercism • idris

Sieve