2 Commits

Include renames

Author	SHA1	Message	Date
sneeker	a3a9c100e1	add(metatheory): composition and context stability for nonempty reduction (M2 support)	2026-09-22 16:40:00 +02:00
sneeker	5cdc605c17	add(metatheory): nonempty reduction closure free variable preservation full composition and beta simulation (M2)	2026-09-22 11:40:00 +02:00