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	30 hours	1	-3/+3
\| \| \| \|	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/rto.aup: RFC 6298's retransmission timer (SRTT, RTTVAR, RTO as ↵	eunhhu	32 hours	1	-0/+65
	2.2-2.5 say, Karn, the timer as 5.1-5.6 say) as a deadline in the state seen at each periodic tick (Pure's research 140, spec 10)