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	2 days	1	-133/+114
*	Records in records, variants, lists in records and match (Pure 027's stage 2b...	eunhhu	8 days	1	-0/+171