diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2025-06-26 18:19:26 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2025-06-26 18:19:26 +0100 |
| commit | 8c0e2684211cc01f33989cb518556d4a0282496c (patch) | |
| tree | 14191c6e67679e0d0c2bdf0f555362f10d510cbb | |
| parent | ecbb20fb089f0f39af6bf36dd9eb7a7e468b2923 (diff) | |
Really fix 947--950.
| -rw-r--r-- | sec/compiler.ltx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sec/compiler.ltx b/sec/compiler.ltx index 030fa3b..a78a6cd 100644 --- a/sec/compiler.ltx +++ b/sec/compiler.ltx @@ -48,8 +48,8 @@ throughout the combinators. It is common for parsers to rely on some additional state~\cite{states}. For example \lang{} keeps an environment of bound -names as state. As Idris has dependant types, we can make the result a -parser combinator depend on the initial state. +names as state. As Idris has dependant types, we can make the result +of a parser combinator depend on the initial state. A parser combinator can interact with state when: \begin{itemize} |