summaryrefslogtreecommitdiff
path: root/curtail.txt
blob: ff418ecbf9e297040f45f51d56ad678deb0c425f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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