Skip to content
This repository has been archived by the owner on Jan 18, 2025. It is now read-only.

fix some spells #21

Merged
merged 1 commit into from
Jun 25, 2024
Merged

fix some spells #21

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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

Expand All @@ -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!
4 changes: 2 additions & 2 deletions Src/README.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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

Expand Down
4 changes: 2 additions & 2 deletions book.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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]
Expand All @@ -24,4 +24,4 @@ additional-js = [
# Improve search functionality
"assets/fzf.umd.js",
"assets/elasticlunr.js"
]
]