nerf/agdaTemplate
Template
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
2 commits 1 branch 0 tags 50 KiB

Default branch

main

af1d158a63 · first working config · Updated 2025-05-29 15:48:24 +02:00
 ZIP  TAR.GZ

Branches