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

	Commit message (Expand)	Author	Age	Files	Lines
*	Pure 027's 4f-4: a source of any size (files and standard input read whole), ...	eunhhu	43 hours	1	-8/+19
*	Compile a query against an app (aup query)	eunhhu	2026-09-28	1	-11/+58
*	Name aup's one part: compiler/	eunhhu	2026-09-27	1	-0/+170