From ecbb20fb089f0f39af6bf36dd9eb7a7e468b2923 Mon Sep 17 00:00:00 2001 From: Chloe Brown Date: Thu, 26 Jun 2025 18:18:59 +0100 Subject: Fix 747--950. --- sec/compiler.ltx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sec/compiler.ltx b/sec/compiler.ltx index e8c1664..030fa3b 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 of parsing a combinator depend on the initial state. +names as state. As Idris has dependant types, we can make the result a +parser combinator depend on the initial state. A parser combinator can interact with state when: \begin{itemize} -- cgit v1.2.3