Commit 9b3a32d

authored and

committed

feat(tg-1): let-binding + de Bruijn substitution metatheory (weakening + subst_preserves)

1 parent bc2a0e6 commit 9b3a32dCopy full SHA for 9b3a32d

1 file changed

Comments

(0)

Provide feedback