Prime number generator in Agda.

Produces the exhaustive stream of ordered prime numbers.