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

	Commit message (Collapse)	Author	Age	Files	Lines
*	examples/layout.aup: box layout, a subset of CSS Flexbox 1 (one line, row or ↵	eunhhu	33 hours	1	-0/+124
	column, padding, gap, justify-content, align-items, grow and shrink with 9.7's loop, cross sizes stretched; every size from above), a tree a message of its nodes in preorder (Pure's research 140, spec 8)