Cuban primes: Difference between revisions
Content added Content deleted
Line 857: | Line 857: | ||
cubans = do |
cubans = do |
||
x <- [1..] |
x <- [1..] |
||
let |
let r = (succ x ^ 3) - (x ^ 3) |
||
z = x ^ 3 |
|||
r = y - z |
|||
guard (isPrime r) |
guard (isPrime r) |
||
pure r |
pure r |