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

	Commit message (Expand)	Author	Age	Files	Lines
*	Module format v7 (Pure 027's 4b-2): keyed documents gone from the language: n...	eunhhu	41 hours	1	-2/+1
*	Write a library's record as the app does in every hint, and post its rows ove...	eunhhu	2026-10-04	1	-1/+1
*	Leave pure-serve's checks to Pure	eunhhu	2026-09-27	1	-2/+2
*	Name aup's one part: compiler/	eunhhu	2026-09-27	1	-2/+3
*	Build Pure's hosts from its top level	eunhhu	2026-09-27	1	-3/+3
*	Check pure-serve, pipelined connections included	eunhhu	2026-09-26	1	-1/+1
*	Check the module server and saving in bursts	eunhhu	2026-09-26	1	-2/+2
*	Emit Pure module format v4	eunhhu	2026-09-25	1	-1/+1
*	Compile messages and keyed documents to module v2	eunhhu	2026-09-25	1	-2/+3
*	Compile v0a programs to verified Pure modules	eunhhu	2026-09-25	1	-0/+19