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
182
Commits
46
Branches
38
Tags
797fc688579299955e5f6d5e56792d89de72f3c6
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