2 lines
25 B
Markdown
2 lines
25 B
Markdown
|
# Prime sieve in idris 2
|
|
# Prime sieve in idris 2
|