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	31 hours	1	-0/+36