From 127c2c2cc0fea2f0ac897d2b382f07d8bb2834b9 Mon Sep 17 00:00:00 2001 From: april Date: Sat, 8 Feb 2025 10:48:20 +0000 Subject: [PATCH] feat(codly-languages): add Agda --- codly-languages/README.md | 2 ++ codly-languages/icons/agda.svg | 1 + codly-languages/lib.typ | 1 + codly-languages/tests/data-check/test.typ | 1 + 4 files changed, 5 insertions(+) create mode 100644 codly-languages/icons/agda.svg diff --git a/codly-languages/README.md b/codly-languages/README.md index d1455a7..d1ebeba 100644 --- a/codly-languages/README.md +++ b/codly-languages/README.md @@ -30,6 +30,7 @@ Some languages are still missing. All contributions welcome. | **Icon** | **Source** | **License** | | ----------------- | --------------------------------------------- | -------------------------------- | +| `agda.svg` | [Agda][agda-source] | Unlicensed | | `css3.svg` | [CSS-Next/logo.css][css3-source] | [CC0][css3-license] | | `cuda.svg` | [vscode-icons/vscode-icons][cuda-source] | [MIT][cuda-license] | | `lisp.svg` | [Wikipedia (User:Jooja)][lisp-source] | [CC BY-SA 4.0][lisp-license] | @@ -37,6 +38,7 @@ Some languages are still missing. All contributions welcome. | `splunk.svg` | [denali-design/denali-icons][splunk-source] | [MIT][splunk-license] | | `typst-small.png` | [Dherse/codly][typst-source] | [MIT][typst-license] | +[agda-source]: https://github.com/agda/agda/blob/master/doc/user-manual/agda.svg [css3-source]: https://github.com/CSS-Next/logo.css/blob/main/css.svg?short_path=c59d4da [css3-license]: https://github.com/CSS-Next/logo.css/blob/main/LICENSE [cuda-source]: https://github.com/vscode-icons/vscode-icons/tree/master diff --git a/codly-languages/icons/agda.svg b/codly-languages/icons/agda.svg new file mode 100644 index 0000000..efe1a2b --- /dev/null +++ b/codly-languages/icons/agda.svg @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/codly-languages/lib.typ b/codly-languages/lib.typ index 26711b4..6190c95 100644 --- a/codly-languages/lib.typ +++ b/codly-languages/lib.typ @@ -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")), diff --git a/codly-languages/tests/data-check/test.typ b/codly-languages/tests/data-check/test.typ index 752afb6..843c10d 100644 --- a/codly-languages/tests/data-check/test.typ +++ b/codly-languages/tests/data-check/test.typ @@ -2,6 +2,7 @@ #let base-languages = ( "aarch64", + "agda", "angular", "ansible", "apache",