3 commits

Author	SHA1	Message	Date
laniakea	dccfeaf5b3	boom	2026-04-10 14:48:24 +02:00
itamar	66a0eac7e2	Delete main.agda	2026-04-10 12:47:07 +00:00
itamar	a19d2b3c4c	Add main.agda ... Signed-off-by: itamar <itamar@itamar.site>	2026-04-10 12:42:28 +00:00