5 ms·
> Shrinking is expressed as manipulations of that tape. How do you do that in general? I can't find any documentation on that.
by ctenb 11mo ago
> Shrinking is expressed as manipulations of that tape.
How do you do that in general? I can't find any documentation on that.
- sunshowers 11mo agoThis paper by the Hypothesis authors has some information: https://www.doc.ic.ac.uk/~afd/papers/2020/ECOOP_Hypothesis.pdf https://www.doc.ic.ac.uk/~afd/papers/2020/ECOOP_Hypothesis.p...