Closed bwesterb closed 1 year ago
The TLS presentation language brackets the size of a vector in bytes; not the number of elements. Correct and add a remark.
If we're going to use vectors more often, we might introduce ad-hoc notation for this.
The TLS presentation language brackets the size of a vector in bytes; not the number of elements. Correct and add a remark.
If we're going to use vectors more often, we might introduce ad-hoc notation for this.