Update to stdlib 2.4

Implementation of a prime sieve in Agda
2025-08-18 13:08:22 +02:00 · 2025-08-18 13:08:22 +02:00 · 2025-08-18 13:08:22 +02:00
diff --git a/Nathan van Doorn b/Nathan van Doorn
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