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

	Commit message (Collapse)	Author	Age	Files	Lines
*	140's apps written with the frictions gone: inflate's and linebreak's lists ↵	eunhhu	33 hours	1	-11/+5
\| \| \| \|	declared together, linebreak's 0x2010 and 0x25CC (their modules the same), DNS's records = [] and 0xc000, HTTP's trailers, j = fields(...), RFC 6298's abs and tick.period (G written once), layout's lists together, its boxes and root as targets together, boxes = []; lines 121 to 120, 148 to 146, 176 to 169, 116 to 110; instructions within 0.2%
*	examples/layout.aup: box layout, a subset of CSS Flexbox 1 (one line, row or ↵	eunhhu	34 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)