diff options
Diffstat (limited to 'curtail.txt')
-rw-r--r-- | curtail.txt | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/curtail.txt b/curtail.txt new file mode 100644 index 0000000..ff418ec --- /dev/null +++ b/curtail.txt @@ -0,0 +1,23 @@ + + +Scratch space for notes about curtailment + + + +all results must track curtails + - done + +when merging two results that have curtails for the same combinator, use the smaller curtail + - done + +when updating a result, replace the curtails with the leftrec level for the current context + - done + +ignore a previous result when the current leftrec level is less than the previous result curtail level for even one of the curtails + - done + +the function to check if reusable needs to take into account a +1 for the combinator being currently memoized + - done + + + |