Idris htSubst COMPLETE (all 15 cases) + substLemma0 — substitution layer of #108#119

hyperpolymath merged 3 commits into

mainhyperpolymath/my-lang:mainfrom

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