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

	Commit message (Expand)	Author	Age	Files	Lines
*	140's apps written with the frictions gone: inflate's and linebreak's lists d...	eunhhu	29 hours	1	-2/+2
*	The three spec apps without their workarounds (Pure 140 after its decision po...	eunhhu	31 hours	1	-12/+3
*	Pure 140's DNS messages (RFC 1035): examples/dns.aup, a message's bytes read ...	eunhhu	34 hours	1	-0/+128