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

	Commit message (Expand)	Author	Age	Files	Lines
*	Formats, joins, slices, lets of bytes and text, while and && and \|\| that deci...	eunhhu	7 days	1	-17/+6
*	Bits, bytes and lists of numbers (Pure 027's stage 1): hex literals (i64s), &...	eunhhu	8 days	1	-0/+56