name | natural-prime-stream |
version | 1.30 |
requires | |
meta.description | The ordered stream of all prime numbers |
meta.author | Joe Leslie-Hurd <joe@gilith.com> |
meta.license | MIT |
meta.show | "Data.Bool" |
meta.show | "Data.List" |
meta.show | "Data.Stream" |
meta.show | "Number.Natural" |
name | main |
imports |
|
name | def |
package | natural-prime-stream-def-1.23 |
name | thm |
imports |
|
package | natural-prime-stream-thm-1.28 |