Add Agda to languages.yaml (#1216)

* Added Agda to languages.yaml * Updated Agda logo
o2sh · Nov 27, 2023 · 621da73 · 621da73
1 parent 4da0e2e
commit 621da73
Showing 1 changed file with 17 additions and 0 deletions.
diff --git 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: |