aup/examples/layout.aup, branch masterDeclarative systems language and compiler targeting verified Pure modules.
http://git.yeowoo.org/aup/atom?h=master2026-10-19T06:34:12Z140's apps written with the frictions gone: inflate's and linebreak's lists 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%2026-10-19T06:34:12Zeunhhunecpition205@gmail.com2026-10-19T06:34:12Zurn:sha1:30eed7886769d838a5d51b70c764c532ca023b1cexamples/layout.aup: box layout, a subset of CSS Flexbox 1 (one line, row or 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)2026-10-19T05:18:49Zeunhhunecpition205@gmail.com2026-10-19T05:18:49Zurn:sha1:3f870ba7abf4e8abd5ddfeced58c64a2e2b86cec