From 3b0da948d65381a249ad4b80c85f8b3e1bb93a42 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Zolt=C3=A1n=20Bal=C3=A1zs?= <git@zoltanbalazs.com>
Date: Mon, 20 Nov 2023 12:56:10 +0100
Subject: [PATCH 1/2] Added Agda to languages.yaml

---
 languages.yaml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/languages.yaml b/languages.yaml
index fc70c01de..98968410a 100644
--- a/languages.yaml
+++ b/languages.yaml
@@ -79,6 +79,29 @@ Ada:
       - "#0018C9"
       - "#0C0A7C"
     chip: "#02F88C"
+Agda:
+  type: programming
+  ascii: |
+    {0}           :@ =@ #@          @    .@
+    {0}         .@.:@ +@          @*    @.
+    {0}       .@..@ :@          @%    @-.@.
+    {0}     .@: @. @.         @@    @+.@:.@
+    {0}    @+ @@ @#         %@       @+ @:
+    {0}  @*               #@          @=
+    {0}#@@@@@@.          @          @+
+    {0}      @.                     @
+    {0}      @.                     @
+    {0}      @.                     @
+    {0}      %:                     @
+    {0}       @                    :@
+    {0}       .@                  .@
+    {0}         @:               @%
+    {0}           @@.         .@#
+    {0}              +@@@@@@@.
+  colors:
+    ansi:
+      - white
+    chip: "#315665"
 Arduino:
   type: programming
   ascii: |

From 76d663b6287c32b859c89a8f9b4b6ebb8a12950a 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 18:35:51 +0100
Subject: [PATCH 2/2] Updated Agda logo

---
 languages.yaml | 26 ++++++++++----------------
 1 file changed, 10 insertions(+), 16 deletions(-)

diff --git a/languages.yaml b/languages.yaml
index 98968410a..28f641c85 100644
--- a/languages.yaml
+++ b/languages.yaml
@@ -82,22 +82,16 @@ Ada:
 Agda:
   type: programming
   ascii: |
-    {0}           :@ =@ #@          @    .@
-    {0}         .@.:@ +@          @*    @.
-    {0}       .@..@ :@          @%    @-.@.
-    {0}     .@: @. @.         @@    @+.@:.@
-    {0}    @+ @@ @#         %@       @+ @:
-    {0}  @*               #@          @=
-    {0}#@@@@@@.          @          @+
-    {0}      @.                     @
-    {0}      @.                     @
-    {0}      @.                     @
-    {0}      %:                     @
-    {0}       @                    :@
-    {0}       .@                  .@
-    {0}         @:               @%
-    {0}           @@.         .@#
-    {0}              +@@@@@@@.
+    {0}   / / /           /  /
+    {0}  / / /           /  / /
+    {0} / o o           /    / /
+    {0}/____           /      /
+    {0}     |                 |
+    {0}     |                 |
+    {0}     ;                 ;
+    {0}      \               /
+    {0}       '.           .'
+    {0}         '-._____.-'
   colors:
     ansi:
       - white