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