Taneb/eratosthenes
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity
4 Commits 1 Branch 0 Tags
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Nathan van Doorn 08afe3a865 Update to stdlib 2.4
2025-08-18 13:08:22 +02:00
src
Update to stdlib 2.4
2025-08-18 13:08:22 +02:00
eratosthenes.agda-lib
Update to stdlib 2.4
2025-08-18 13:08:22 +02:00
Description
Implementation of a prime sieve in Agda
39 KiB
Languages
Agda 100%