proof(solo-core/idris): close preservation (#108) — total, hole-free - #120

proof(solo-core/idris): close preservation (#108) — total, hole-free#120

hyperpolymath merged 5 commits into

mainhyperpolymath/my-lang:mainfrom

claude/dreamy-hypatia-O8XHohyperpolymath/my-lang:claude/dreamy-hypatia-O8XHoCopy head branch name to clipboard