Nathan van Doorn 08afe3a865 Update to stdlib 2.4		2025-08-18 13:08:22 +02:00
..
Demo.agda	Implement (bounded) sieve of Eratosthenes	2024-07-11 14:34:19 +02:00
Eratosthenes.agda	Update to stdlib 2.4	2025-08-18 13:08:22 +02:00
SplayHeap.agda	Make definition of Tree private	2024-07-16 06:18:06 +02:00