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/+1
*	The three spec apps without their workarounds (Pure 140 after its decision po...	eunhhu	32 hours	1	-59/+46
*	Pure 140's inflate (RFC 1951): examples/inflate.aup, a raw deflate stream inf...	eunhhu	34 hours	1	-0/+143