feat: add Lean language (#1509)

o2sh · Jan 22, 2025 · ef6d61c · ef6d61c
1 parent 4647320
commit ef6d61c
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/languages.yaml b/languages.yaml
@@ -1563,6 +1563,22 @@ Kotlin:
       - magenta
     chip: "#A97BFF"
   icon: '\u{E634}'
+Lean:
+  type: programming
+  ascii: |
+    {0}       ______
+    {0}|            |\              /|\       |
+    {0}|            | \            / | \      |
+    {0}|            |  \          /  |  \     |
+    {0}|      ______|   \________/   |   \    |
+    {0}|            |    \      /    |    \   |
+    {0}|            |     \    /     |     \  |
+    {0}|            |      \  /      |      \ |
+    {0}|____________|       \/       |       \|
+  colors:
+    ansi:
+      - white
+    chip: "#FFFFFF"
 Lisp:
   type: programming
   ascii: |