refactor(LocallyNameless/Untyped): Rename redex_abs_close to steps_abs_close#672
Open
lengyijun wants to merge 1 commit into
Open
refactor(LocallyNameless/Untyped): Rename redex_abs_close to steps_abs_close#672lengyijun wants to merge 1 commit into
lengyijun wants to merge 1 commit into
