From afa41697b71544f6c293ec37497a4a2873d618f8 Mon Sep 17 00:00:00 2001 From: april Date: Mon, 10 Feb 2025 00:28:24 +0000 Subject: [PATCH] fix: update Agda's license --- codly-languages/README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/codly-languages/README.md b/codly-languages/README.md index d1ebeba..6061903 100644 --- a/codly-languages/README.md +++ b/codly-languages/README.md @@ -30,7 +30,7 @@ Some languages are still missing. All contributions welcome. | **Icon** | **Source** | **License** | | ----------------- | --------------------------------------------- | -------------------------------- | -| `agda.svg` | [Agda][agda-source] | Unlicensed | +| `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] | @@ -39,6 +39,7 @@ Some languages are still missing. All contributions welcome. | `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