fix some spells

lean-ja · Jun 24, 2024 · 8f366ca · 8f366ca
1 parent 6ab0111
commit 8f366ca
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
-# Lean 99: Ninety-Nine Lean Probelms
+# Lean 99: Ninety-Nine Lean Problems
 
-These are Lean translations of [Ninety-Nine Haskell Problems](https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems), which are themselves translations of [Ninety-Nine Lisp Probelms](https://www.ic.unicamp.br/~meidanis/courses/mc336/problemas-lisp/L-99_Ninety-Nine_Lisp_Problems.html).
+These are Lean translations of [Ninety-Nine Haskell Problems](https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems), which are themselves translations of [Ninety-Nine Lisp Problems](https://www.ic.unicamp.br/~meidanis/courses/mc336/problemas-lisp/L-99_Ninety-Nine_Lisp_Problems.html).
 
 ## Contributing
 
@@ -17,4 +17,4 @@ To contribute to this repository, please follow these steps.
 3. Edit [SUMMARY.md](./md/SUMMARY.md) if you are going to add new pages.
 4. Run `lake run build`.
 5. To view the preview, run `mdbook serve --open`. Don't forget to run `lake run build` after modifying the `.lean` file in the `Src` directory.
-6. Commit the changes and open a pull request!
+6. Commit the changes and open a pull request!
diff --git a/Src/README.lean b/Src/README.lean
@@ -1,9 +1,9 @@
 /-
-# Lean 99: Ninety-Nine Lean Probelms
+# Lean 99: Ninety-Nine Lean Problems
 
 Lean is a theorem prover, but it is also a programming language. Moreover, it is the best functional language ever! Let's learn functional programming with Lean. 😎
 
-These are Lean translations of [Ninety-Nine Haskell Problems](https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems), which are themselves translations of [Ninety-Nine Lisp Probelms](https://www.ic.unicamp.br/~meidanis/courses/mc336/problemas-lisp/L-99_Ninety-Nine_Lisp_Problems.html).
+These are Lean translations of [Ninety-Nine Haskell Problems](https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems), which are themselves translations of [Ninety-Nine Lisp Problems](https://www.ic.unicamp.br/~meidanis/courses/mc336/problemas-lisp/L-99_Ninety-Nine_Lisp_Problems.html).
 
 ## How to Play
 

diff --git a/book.toml b/book.toml
@@ -3,7 +3,7 @@ authors = ["Seasawher"]
 language = "en"
 multilingual = false
 src = "md"
-title = "Lean 99: Ninety-Nine Lean Probelms"
+title = "Lean 99: Ninety-Nine Lean Problems"
 description = "Ninety-Nine Lean coding problems"
 
 [build]
@@ -24,4 +24,4 @@ additional-js = [
   # Improve search functionality
   "assets/fzf.umd.js",
   "assets/elasticlunr.js"
-]
+]