swaits/typst-collection
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat(codly-languages): add Agda

Browse Source
This commit is contained in:
april committed 2025-02-08 10:48:20 +00:00
1 parent 8f3ef0d1d0
commit 127c2c2cc0
4 files changed
+5
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

codly-languages/lib.typ
+1
View File
@@ -25,6 +25,7 @@
(
aarch64: (name: "Assembly (ARM)", color: rgb("#1b3888"), icon: __icon("aarch64.svg")),
arm: (name: "Assembly (ARM)", color: rgb("#1b3888"), icon: __icon("aarch64.svg")),
agda: (name: "Agda", color: rgb("#ffffff"), icon: __icon("agda.svg")),
angular: (name: "Angular", color: rgb("#dd0031"), icon: __icon("angular.svg")),
ansible: (name: "Ansible", color: rgb("#1a1918"), icon: __icon("ansible.svg")),
apache: (name: "Apache", color: rgb("#b7342a"), icon: __icon("apache.svg")),