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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Pure 140's DNS messages (RFC 1035): examples/dns.aup, a message's bytes read ↵	eunhhu	39 hours	1	-0/+128
	into its header and records (names uncompressed in their wire form, the owner's and those in NS, CNAME, PTR, MX, SOA and SRV data; each compression pointer pointing before the last, so they end), the message written back by the view wire (the owners compressed: the message is state, its bytes a view of it); no new form: names compared a byte at a time (bytes have no ==), the compression written out in the view (a view calls no block fn); 115 lines against Python's 72