diff --git a/l/Lean b/l/Lean
new file mode 100644
index 00000000..697fc2d7
--- /dev/null
+++ b/l/Lean
@@ -0,0 +1 @@
+#print "Hello World"
\ No newline at end of file
diff --git a/readme.md b/readme.md
index 4084d5d2..9edc34d6 100644
--- a/readme.md
+++ b/readme.md
@@ -8,7 +8,7 @@ Thanks to everyone who continues to contribute; new languages are created every
 Make sure to see [contributing.md](/contributing.md) for instructions on contributing to the project!
 
 <!--Languages start-->
-## Languages (895 total)
+## Languages (896 total)
 
 * [!](%23/%21)
 * [!@#$%^&*()_+](%23/%21%40%23%24%25%5E%26%E2%88%97%28%29_%2B)
@@ -516,6 +516,7 @@ Make sure to see [contributing.md](/contributing.md) for instructions on contrib
 * [LazyK](l/LazyK.lazy)
 * [LBL](l/LBL.lbl)
 * [LCoffee](l/LCoffee.lcoff)
+* [Lean](l/Lean)
 * [Less](l/Less.less)
 * [Leszek](l/Leszek.leszek)
 * [libavg](l/libavg.py)