opentheory-prime-1.85: Prime natural numbers
OpenTheory.Natural.Prime
Description
primes :: [Natural] Source