> Do you think having the invariant that blocks are not mutated would > significantly simply the design?
No. As mentioned in my previous email and others, the complexity is in hflush. Once we have hflush, append is straightforward. Nicholas
> Do you think having the invariant that blocks are not mutated would > significantly simply the design?
No. As mentioned in my previous email and others, the complexity is in hflush. Once we have hflush, append is straightforward. Nicholas