Update udl-list.json

Author: acmepjz

udl-list.json

@@ -1332,6 +1332,15 @@
             "description": "LDIF",
             "author": "gambazinho <mailto:crazy2010@yahoo.com>"
         },
+        {
+            "id-name": "Lean_byJzPan",
+            "display-name": "Lean",
+            "version": "04 Oct 2024",
+            "repository": "",
+            "description": "Lean",
+            "author": "Jz Pan <https://github.com/acmepjz>",
+            "sample": "Lean_byJzPan.lean"
+        },
         {
             "id-name": "less-js_byAsiaSun",
             "display-name": "LESS.js",