moon/zygotec - work-in-progress programming language.

	Commit message (Expand)	Author	Age	Files	Lines
*	wip: prover gaps (inline len bound, cross-array, rt.new depth, fixed new, aff...work/prover	zinc	13 days	1	-1/+2
*	explain-checks: the record writer moves to src/lib/explain.zc, embedded and c...	zinc	13 days	1	-1/+1
*	bounds: body scan, loop-entry hoisting, pointer proofs from requested size, -...	zinc	13 days	1	-0/+9
*	zy: nonzero exit on compile errors	zinc	13 days	1	-3/+5
*	bounds checking: port agent/bounds-checking onto main 0879d0a; unbounded main...	zinc	13 days	1	-4/+8
*	line tables and backtraces: port agent/line-tables onto main, op 56 on the x8...	zinc	13 days	1	-1/+88
*	zc: add the defer statement	zinc	13 days	1	-0/+8
*	split compiler.zc into files by phase	zinc	13 days	1	-0/+1384