chore(codly-languages): bump version to 0.1.7

- Adds Agda language icon thanks to [@cyberglot](https://github.com/cyberglot), [PR30](https://github.com/swaits/typst-collection/pull/30)

codly-languages/README.md

@@ -10,10 +10,10 @@ Pretty simple. Import `codly`. Initialize it. Import `codly-languages`.
 Configure `codly` with the languages. Like this:
 
 ```typst
-#import "@preview/codly:1.1.1": *
+#import "@preview/codly:1.2.0": *
 #show: codly-init
 
-#import "@preview/codly-languages:0.1.6": *
+#import "@preview/codly-languages:0.1.7": *
 #codly(languages: codly-languages)
 ```
 
@@ -30,6 +30,7 @@ Some languages are still missing. All contributions welcome.
 
 | **Icon**          | **Source**                                    | **License**                      |
 | ----------------- | --------------------------------------------- | -------------------------------- |
+| `agda.svg`        | [Agda][agda-source]                           | [BSD][agda-license]              |
 | `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,8 @@ 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
+[agda-license]: https://github.com/agda/agda/blob/master/LICENSE
 [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

codly-languages/icons/agda.svg

@@ -0,0 +1 @@
+<svg height="512" width="512" xmlns="http://www.w3.org/2000/svg"><path d="m426.9336548 54.1900978-165.6933289 165.6933098c-7.4750061 6.7402649-17.1710968-3.3855591-10.544754-10.544754l165.6937103-165.6933022c7.0473938-6.7397957 17.3277588 3.0859947 10.5443726 10.5447464zm72.3023071 30.878582-82.8466797 82.8466644c-6.7429504 7.412735 3.4461975 17.2576599 10.5443726 10.5447388l82.8466187-82.8466568c6.6430053-7.568306-3.5616151-17.2775421-10.5443116-10.5447464zm0-41.4233284-82.8466797 82.8466492c-6.7814026 7.4044495 3.1001587 17.2036591 10.5443726 10.544754l82.8466187-82.8466644c6.718811-7.5335541-3.280304-17.0401001-10.5443116-10.5447388zm-289.9637146 0-82.8466568 82.8466492c-6.7649841 7.2203064 3.0957718 17.2232819 10.5447464 10.544754l82.8466644-82.8466644c6.63237-7.2609635-3.0897979-17.2683792-10.544754-10.5447388zm-30.8785858 93.391407 82.8466644-82.8466644c6.6011353-7.0034637-2.9941711-17.398365-10.544754-10.5447464l-82.8466492 82.8466492c-6.6498413 7.3167038 3.1678925 17.1344223 10.5447388 10.5447616zm77.5742798 333.570633c84.3307648.012085 169.9110565-64.1964722 173.1497345-173.1495056l-.0000305-79.7583008 80.6626282-80.6628265c6.6898804-7.4606781-3.3494263-17.2643051-10.5443115-10.544754l-82.8466797 82.8466644c-1.3984375 1.3982391-2.184021 3.2948456-2.184021 5.2723694v82.8468475c-2.4832458 101.8160095-82.3485718 158.2371216-158.2373199 158.2371216-69.5493317 0-155.3547363-52.1512756-158.2371216-158.2371216l.0000076-82.8468475c0-4.1180573-3.3383408-7.4562073-7.4561996-7.4562073h-64.8457071l152.9647408-152.9647332c6.6220093-7.0034561-2.9238739-17.2984962-10.5447388-10.5447464l-165.6933179 165.6933022c-4.5056467 4.6415405-1.5654514 12.7285919 5.2723722 12.7285919l75.3904572-.0000153-.0000076 75.3906555c4.5695434 114.6367493 93.0180297 173.1380616 173.1495147 173.1495057zm-137.93956-309.8466034c0-8.5777893-9.3497391-13.9680176-16.7891388-9.6791229s-7.4393997 15.0693512 0 19.3582458 16.7891388-1.1013336 16.7891388-9.6791229zm41.4234314 0c0-8.5777893-9.3497467-13.9680176-16.7891388-9.6791229-7.4394073 4.2888947-7.4394073 15.0693512 0 19.3582458 7.4393921 4.2888946 16.7891388-1.1013336 16.7891388-9.6791229z"/></svg>

codly-languages/lib.typ

@@ -4,10 +4,10 @@
 // To use:
 //
 // ```typst
-// #import "@preview/codly:1.1.1": *
+// #import "@preview/codly:1.2.0": *
 // #show: codly-init
 //
-// #import "codly-languages.typ": *
+// #import "codly-languages.typ:0.1.7": *
 // #codly(languages: codly-languages)
 // ```
 #let codly-languages = {
@@ -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")),

codly-languages/tests/basic-output/test.typ

@@ -1,5 +1,5 @@
 #import "/lib.typ": *
-#import "@preview/codly:1.1.1": *
+#import "@preview/codly:1.2.0": *
 #show: codly-init
 #codly(languages: codly-languages)
 

codly-languages/tests/data-check/test.typ

@@ -2,6 +2,7 @@
 
 #let base-languages = (
   "aarch64",
+  "agda",
   "angular",
   "ansible",
   "apache",

codly-languages/typst.toml

@@ -1,6 +1,6 @@
 [package]
 name = "codly-languages"
-version = "0.1.6"
+version = "0.1.7"
 entrypoint = "lib.typ"
 authors = ["Stephen Waits <steve@waits.net>"]
 license = "MIT"