From 08d4f1b89aefc9a43ad07427c0f7ca7813397f11 Mon Sep 17 00:00:00 2001 From: Alexander McCord Date: Wed, 20 Jan 2021 00:44:39 -0800 Subject: [PATCH] Minor rewording. --- docs/typecheck.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/typecheck.md b/docs/typecheck.md index 56dab18e..4a7da30d 100644 --- a/docs/typecheck.md +++ b/docs/typecheck.md @@ -25,7 +25,7 @@ local foo foo = 1 ``` -However, in strict mode, the second snippet would be able to infer `number` for `foo` still. +However, given the second snippet in strict mode, the type checker would be able to infer `number` for `foo`. ## Unknown symbols