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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fns that call themselves, blocks, several values, records' values and charact...	eunhhu	46 hours	1	-133/+114
*	Records in records, variants, lists in records and match (Pure 027's stage 2b...	eunhhu	7 days	1	-0/+171