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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Compile a query against an app (aup query)	eunhhu	2026-09-28	1	-11/+58
\| \| \| \| \| \| \| \|	aup query APP QUERY -o OUT compiles APP's declarations (records, states, inputs, handlers) with the views QUERY adds, as one module: the node checks that its states are the app's and runs the query's view on a snapshot of the app (PUT and GET /queries/NAME in pure-serve). QUERY may be - for standard input.
*	Name aup's one part: compiler/	eunhhu	2026-09-27	1	-0/+170
	As in Pure and Vega, the top level directories are the parts; aup has one, the compiler, checked end to end by tests/check.py.