luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-04-03 02:10:53 +01:00
Code Issues Projects Releases Packages Wiki Activity

docs: Fix spelling

Browse source
This commit is contained in:
Arseny Kapoulkine 2020-06-11 22:20:32 -07:00
parent 1cd20c92d4
commit ea494050f3
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/index.md
View file

@ -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
=========

2
docs/typecheck.md
View file

@ -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.