# Prime sieve in idris 2