From 621da736df07ffff6806890b673367d9b69e7a73 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Zolt=C3=A1n=20Bal=C3=A1zs?=
 <43118299+Zoltan-Balazs@users.noreply.github.com>
Date: Mon, 27 Nov 2023 20:52:12 +0100
Subject: [PATCH] Add Agda to languages.yaml (#1216)

* Added Agda to languages.yaml

* Updated Agda logo
---
 languages.yaml | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/languages.yaml b/languages.yaml
index fc70c01de..28f641c85 100644
--- a/languages.yaml
+++ b/languages.yaml
@@ -79,6 +79,23 @@ Ada:
       - "#0018C9"
       - "#0C0A7C"
     chip: "#02F88C"
+Agda:
+  type: programming
+  ascii: |
+    {0}   / / /           /  /
+    {0}  / / /           /  / /
+    {0} / o o           /    / /
+    {0}/____           /      /
+    {0}     |                 |
+    {0}     |                 |
+    {0}     ;                 ;
+    {0}      \               /
+    {0}       '.           .'
+    {0}         '-._____.-'
+  colors:
+    ansi:
+      - white
+    chip: "#315665"
 Arduino:
   type: programming
   ascii: |