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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Name aup's one part: compiler/	eunhhu	2026-09-27	3	-0/+2564
	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.