pure - Verified execution runtime unifying state, persistence, and replication.

	Commit message (Expand)	Author	Age	Files	Lines
*	045: range() emitted by hand, Pure's meaning kept or dropped where the proof ...	eunhhu	28 hours	1	-0/+36
*	045: where the machine instructions go, by mechanism (where.c samples the add...	eunhhu	28 hours	1	-0/+36
*	045: 029's principle 1 broken on UAX #14 before any emitter, the tools and th...	eunhhu	29 hours	3	-0/+60