Merge pull request #199 from hypergonial/main

Add Lean
mawerty · Jan 12, 2024 · 569d9a6 · 569d9a6
2 parents e782ad9 + 35bcf53
commit 569d9a6
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -83,6 +83,7 @@ A: Thecoderunsfasterwhentherearenouselessspacesandnewlines.
 - Julia
 - Kotlin
 - LaTeX
+- Lean
 - Lisp
 - LiveScript
 - Lua

diff --git a/implementations/main.lean b/implementations/main.lean
@@ -0,0 +1 @@
+def is_prime (number: Nat): Bool := false
diff --git a/optimized_implementations/main.lean b/optimized_implementations/main.lean
@@ -0,0 +1 @@
+def is_prime (_: Nat): Bool := false