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

	Commit message (Expand)	Author	Age	Files	Lines
*	Research 132 (no code): where the batch executor's cost sits (an element's pa...	eunhhu	14 days	1	-0/+4
*	041 runs.sh: the suite three ways (the compiled code, the executor with batch...	eunhhu	2026-10-05	1	-0/+46