Commit graph

Select branches

Hide pull requests

main

Mono Color

• dccfeaf5b3
  
  boom main laniakea 2026-04-10 14:48:24 +02:00
• 66a0eac7e2 Delete main.agda itamar 2026-04-10 12:47:07 +00:00
• a19d2b3c4c Add main.agda itamar 2026-04-10 12:42:28 +00:00