diff options
Diffstat (limited to 'curtail.txt')
-rw-r--r-- | curtail.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/curtail.txt b/curtail.txt index 38fd238..b9c88b1 100644 --- a/curtail.txt +++ b/curtail.txt @@ -20,5 +20,7 @@ when depth of a curtail is less than or equal to remaining tokens of input after when depth of curtail plus remaining tokens after furthest finish of a result is less than or equal to total input tokens plus one, curtail can be deleted from a result +when depth of curtail plus remaining tokens after furthest finish of a result is less than or equal to remaining tokens at the start of a result, then curtail can be deleted from result, because in that case it is no longer possible for curtail to happen due to excessive combinator recursion + |