Files
eratosthenes/eratosthenes.agda-lib
T
2025-08-18 13:08:22 +02:00

4 lines
61 B
Plaintext

name: eratosthenes
include: src
depend: standard-library-2.4