itamar pushed to main at itamar/algebra

itamar
Fri, 10 Apr 2026 12:47:10 +0000

66a0eac7e2c4d0733a7727e73036e776ddeb36e2 Delete main.agda