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
154
Commits
46
Branches
38
Tags
f9dc4de8d0d5e85e484397a6c6aed57e6391809a
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