pure - Fast, lightweight verified computation and deterministic execution runtime.

	Commit message (Expand)	Author	Age	Files	Lines
*	140: LIST_VALUE's copy reviewed before building (measured by spec: UAX #14 ab...	eunhhu	3 days	1	-0/+20
*	CONCAT with an empty side gives the other as it is, uncopied (values do not c...	eunhhu	3 days	1	-0/+10
*	028's bytes alone as a state, made: module state type 6 read as a text state ...	eunhhu	3 days	1	-0/+10
*	Bytes compared (140's decision point: DNS and HTTP both met it): TEXT_COMPARE...	eunhhu	3 days	1	-0/+10
*	027's 5c: money as i64 minor units shown by .Nd: NUM_TEXT's decimal form take...	eunhhu	3 days	1	-0/+10
*	027's 5b: an i64 sum exact: its items gathered in a 128-bit integer and only ...	eunhhu	3 days	1	-0/+10
*	027's stage 5 designed and 5a made: two numbers (number, binary64, the defaul...	eunhhu	4 days	1	-0/+10
*	027's 4f-4: loops nested to any depth: the load counts a module's deepest nes...	eunhhu	4 days	1	-0/+10
*	027's 4f-3b: no fixed count of records or of their fields in all: the header'...	eunhhu	4 days	1	-0/+10