Idris/advent
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

core: spelling

Browse source
This commit is contained in:
Nathan McCarty 2025-01-24 22:21:08 -05:00
parent 9b12ebcf00
commit fa5eb61d59
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Parser/ParserState.md
View file

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