aup - Declarative systems language and compiler targeting verified Pure modules.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Bytes in a record field (Pure 027's 4b-1): body: bytes (= "..." its ↵	eunhhu	43 hours	1	-0/+39
	default's bytes), x.body.bytes its length (LEN), a text going there only as bytes(t); no list keyed by bytes or by a list; examples/documents.aup: keyed byte documents as a keyed list of records, each edit checked against the revision it was made on; documents_model: random shows and edits (stale revisions, past the end, any bytes, up to 5,000 at once) against a model, in memory and on a store restarting six times (half of the runs in bursts), four seeds alike (1,280 steps); four diagnostics