From 90c53ce07a2edbb49cad942b217400cda56ff9cb Mon Sep 17 00:00:00 2001 From: Rida Hamadani <106540880+Rida-Hamadani@users.noreply.github.com> Date: Thu, 11 Apr 2024 12:08:46 +0300 Subject: [PATCH] Fix typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 1f670a8..b8176d7 100644 --- a/README.md +++ b/README.md @@ -22,7 +22,7 @@ PRs/Issues fixing typos, inconsistencies, missing hints, etc. are very welcome! We would like the following requirements for a translation PR: - - One independent person from the community, who understands the language, gives a review on the PR. You could for example look at the [Lean Community Map](https://leanprover-community.github.io/meet.html) or ask on Zulip. Such a review an be quite generic and does not have to be super detailed. + - One independent person from the community, who understands the language, gives a review on the PR. You could for example look at the [Lean Community Map](https://leanprover-community.github.io/meet.html) or ask on Zulip. Such a review can be quite generic and does not have to be super detailed. - In the credits (i.e. in the string translating them), ideally you should add yourself as a translator for this language. ## Documentation