Skip to content

Deep-compress elaborated term to save into attributes#555

Merged
nikswamy merged 1 commit intomainfrom
_mtzguido_539
Feb 10, 2026
Merged

Deep-compress elaborated term to save into attributes#555
nikswamy merged 1 commit intomainfrom
_mtzguido_539

Commits

Commits on Feb 9, 2026