Idris htSubst structure (b-erasure solved, 10/15) + AFFIRMATION & status docs#118

hyperpolymath merged 2 commits into

mainhyperpolymath/my-lang:mainfrom

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