Manuscript XIX-C@1 · XIX-C.tex · section · 98b067d9
Guarded command grammar and finite histories
Declared finite incidence interface › Guarded command grammar and finite histories · lines 337–341
The horizon convention is necessary: retaining arbitrarily long uncompressed histories would not be a fixed finite register.