Hacker News new | ask | show | jobs
by omegafixedpoint 5 days ago
Seconding Debruijn indices. See here: https://github.com/yon-language/yon/blob/aa4617ced3abc92ac53...

The alpha renaming algorithm does not run under scopes, only lambdas.