diff --git a/codly-languages/README.md b/codly-languages/README.md
index d1455a7..66db5a5 100644
--- a/codly-languages/README.md
+++ b/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
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..28a3d04 100644
--- a/codly-languages/lib.typ
+++ b/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")),
diff --git a/codly-languages/tests/basic-output/test.typ b/codly-languages/tests/basic-output/test.typ
index a1c330c..13903f5 100644
--- a/codly-languages/tests/basic-output/test.typ
+++ b/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)
diff --git a/codly-languages/tests/data-check/ref/1.png b/codly-languages/tests/data-check/ref/1.png
index d77d6fb..e0a16a2 100644
Binary files a/codly-languages/tests/data-check/ref/1.png and b/codly-languages/tests/data-check/ref/1.png differ
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",
diff --git a/codly-languages/typst.toml b/codly-languages/typst.toml
index e7cee06..48c313b 100644
--- a/codly-languages/typst.toml
+++ b/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 "]
license = "MIT"