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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Let a fold in a column read the column's row	eunhhu	2026-09-28	1	-4/+4
\| \| \| \| \| \| \| \| \| \|	A count, sum, max or min inside a table's column may now name the row the column is evaluated for: per branch, the sum of its accounts (sum(a.balance for a in accounts where a.bid == b.bid)), or per account, how many are richer. The column's row inside the fold compiles to OUTER_ROW, which Pure's verifier accepts only in a fold that runs in a column; the fold's own item stays ROW. This is a correlated subquery, the form SQL writes GROUP BY and self-joins with.
*	Name aup's one part: compiler/	eunhhu	2026-09-27	1	-0/+2369
	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.