Added Agda to languages.yaml

o2sh · Nov 20, 2023 · 3b0da94 · 3b0da94
1 parent 3186493
commit 3b0da94
Showing 1 changed file with 23 additions and 0 deletions.
diff --git 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: |