itamar/algebra
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
3 commits 1 branch 0 tags 36 KiB
Commit graph

3 commits

This branch
This branch
All branches
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