This website requires JavaScript.
Explore
Help
Sign In
swaits
/
typst-collection
Watch
1
Star
0
Fork
0
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
195
Commits
46
Branches
38
Tags
9de06d3781c4e218b71ce5a2ae29da0220c03c08
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