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
194
Commits
46
Branches
38
Tags
4f26f9a194ec23292d8f5dc5366f15cc62cfd025
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