feat(tg-1): let-binding + de Bruijn substitution metatheory#44

hyperpolymath merged 1 commit into

mainhyperpolymath/tangle:mainfrom

claude/hopeful-fermi-iXnbahyperpolymath/tangle:claude/hopeful-fermi-iXnbaCopy head branch name to clipboard