swaits/typst-collection
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
231 Commits 46 Branches 38 Tags
main
Commit Graph
2 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
april afa41697b7 fix: update Agda's license 2025-02-10 00:28:24 +00:00
april 127c2c2cc0 feat(codly-languages): add Agda 2025-02-08 10:48:20 +00:00