itamar pushed to main at itamar/algebra

itamar
Fri, 10 Apr 2026 12:42:30 +0000

a19d2b3c4cf6f197daefbde3b06f50983eb49de0 Add main.agda