From fa5eb61d598e486085e9edfe18da594f747a1039 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Fri, 24 Jan 2025 22:21:08 -0500 Subject: [PATCH] core: spelling --- src/Parser/ParserState.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Parser/ParserState.md b/src/Parser/ParserState.md index 57db768..c8eb361 100644 --- a/src/Parser/ParserState.md +++ b/src/Parser/ParserState.md @@ -58,7 +58,7 @@ Ord (Index i) where Stores the location we are currently at in the string, and metadata about it for providing good error messages. Parsing an empty input isn't very interesting, so -we exclude inputs of length zero, since that will make other things eaiser. +we exclude inputs of length zero, since that will make other things easier. ```idris ||| State representing a parser's position in the text