Make definition of Tree private

Implementation of a prime sieve in Agda
2024-07-16 06:18:06 +02:00 · 2024-07-16 06:18:06 +02:00 · 2024-07-11 14:34:19 +02:00
diff --git a/Nathan van Doorn b/Nathan van Doorn
Nathan van Doorn eaae27f043 Make definition of Tree private		2024-07-16 06:18:06 +02:00
src	Make definition of Tree private	2024-07-16 06:18:06 +02:00
eratosthenes.agda-lib	Implement (bounded) sieve of Eratosthenes	2024-07-11 14:34:19 +02:00