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

	Commit message (Expand)	Author	Age	Files	Lines
*	The three spec apps without their workarounds (Pure 140 after its decision po...	eunhhu	32 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