Nathan van Doorn eaae27f043 Make definition of Tree private		2024-07-16 06:18:06 +02:00
..
Demo.agda	Implement (bounded) sieve of Eratosthenes	2024-07-11 14:34:19 +02:00
Eratosthenes.agda	Remove unnecessary public	2024-07-11 21:46:26 +02:00
SplayHeap.agda	Make definition of Tree private	2024-07-16 06:18:06 +02:00