Hyperstreams – Nesting in Lucid

> The difference between Lucid and Pascal is that with Pascal by default nothing changes whereas with Lucid everything changes by default.

I don't understand what this means. It could be more lucid.

Why not stream over pairs (N, a,) -> (N, (a+N/a)/2) and terminate when N – a^2 is within tolerance?

Is there a language home page?