feat: add Lean language

Closes #1354.
o2sh · Jan 15, 2025 · 4e8bec0 · 4e8bec0
1 parent c55775d
commit 4e8bec0
Showing 1 changed file with 22 additions and 1 deletion.
diff --git a/languages.yaml b/languages.yaml
@@ -814,7 +814,7 @@ Fish:
     {0}  \\___/  )JJ~{1}~~{0}   \)
     {0}   \_____/JJJ~~{1}~~{0}    \
     {0}   / \  {1}, \{0}J~~~{1}~~{0}     \
-    {0}  (-{1}\){0}\=|{1}\\\{0}~~{1}~~{0}       L_{1}_
+    {0}  (-{1}\){0}\=|{1}\\\{0}~~{1}~~{0}      {0}L_{1}_
     {0}  (\\)  ({1}\{0}\\)_           {1}\==__
     {0}   \V    \\\) ===_____   {1}\\\\{0}\\
     {0}          \V)     \_) \\{1}\\JJ\{0}J\)
@@ -1563,6 +1563,27 @@ Kotlin:
       - magenta
     chip: "#A97BFF"
   icon: '\u{E634}'
+Lean:
+  type: programming
+  ascii: |
+    {0}
+    {0}  L      ∃∃∃∃∃∃∃∃           N        N
+    {0}  L             ∃∀         ∀NN       N
+    {0}  L             ∃∀∀        ∀N N      N
+    {0}  L             ∃ ∀∀      ∀∀N NN     N
+    {0}  L             ∃  ∀∀     ∀ N  NN    N
+    {0}  L      ∃∃∃∃∃∃∃∃  ∀∀∀∀∀∀∀∀ N   N    N
+    {0}  L             ∃   ∀∀∀∀∀∀  N    N   N
+    {0}  L             ∃   ∀∀  ∀∀  N     N  N
+    {0}  L             ∃    ∀  ∀   N     NN N
+    {0}  L             ∃    ∀∀∀∀   N      NNN
+    {0}  L             ∃     ∀∀    N       NN
+    {0}  LLLLLL ∃∃∃∃∃∃∃∃      ∀    N        N
+    {0}
+  colors:
+    ansi:
+      - white
+    chip: "#FFFFFF"
 Lisp:
   type: programming
   ascii: |