fix: lower De Bruijn indices when a binder is removed (#56)#70

Unisay merged 1 commit into

mainpurescript-lua/purescript-lua:mainfrom

issue-56/beta-reduce-unshiftpurescript-lua/purescript-lua:issue-56/beta-reduce-unshiftCopy head branch name to clipboard