This website requires JavaScript.
Explore
Help
Sign In
Taneb
/
eratosthenes
Watch
1
Fork
You've already forked eratosthenes
0
Code
Issues
3
Pull Requests
Packages
Projects
Releases
Wiki
Activity
main
eratosthenes
/
eratosthenes.agda-lib
4 lines
61 B
Plaintext
Raw
Permalink
Blame
History
name: eratosthenes
include: src
depend: standard-library-2.1
Reference in New Issue
View Git Blame
Copy Permalink