From ea494050f3bda74c2205832db66828e393120335 Mon Sep 17 00:00:00 2001 From: Arseny Kapoulkine Date: Thu, 11 Jun 2020 22:20:32 -0700 Subject: [PATCH] docs: Fix spelling --- docs/index.md | 2 +- docs/typecheck.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/index.md b/docs/index.md index 71a063d..db1328e 100644 --- a/docs/index.md +++ b/docs/index.md @@ -36,7 +36,7 @@ Whenever possible, Luau aims to be backwards-compatible with Lua 5.1 and at the Analysis ======== -To make it easier to write correct code, Luau comes with a set of analysis tools that can surface common mistakes. These consist of a linter and a type checker, colloqually known as "script analysis", and can be used from [Roblox Studio](https://developer.roblox.com/en-us/articles/The-Script-Analysis-Tool) or using SECRET TOOL. The linting passes are [described here](lint.md), and the type checking user guide can [be found here](typecheck.md). +To make it easier to write correct code, Luau comes with a set of analysis tools that can surface common mistakes. These consist of a linter and a type checker, colloquially known as "script analysis", and can be used from [Roblox Studio](https://developer.roblox.com/en-us/articles/The-Script-Analysis-Tool) or using SECRET TOOL. The linting passes are [described here](lint.md), and the type checking user guide can [be found here](typecheck.md). Libraries ========= diff --git a/docs/typecheck.md b/docs/typecheck.md index 48c52fe..ff9117d 100644 --- a/docs/typecheck.md +++ b/docs/typecheck.md @@ -1,4 +1,4 @@ Type checking ============= -Luau supports a gradual type system through the use of type annotations and type inference. One someone gets around to writing this, this will have documentation on the details of the type system and examples of common problems/how to deal with them. +Luau supports a gradual type system through the use of type annotations and type inference. Once someone gets around to writing this, this will have documentation on the details of the type system and examples of common problems/how to deal with them.