narc-rs icon indicating copy to clipboard operation
narc-rs copied to clipboard

Published 20 hours ago • verified publisher icon owo-lang

Named deBruijn variables

Open ice1000 opened this issue 4 years ago • 0 comments

Right now there's only unnamed dbi: https://github.com/owo-lang/narc-rs/blob/6fcbca28127212a5ca5883e6eaa310da6dfa3c4a/src/syntax/core/subst/dbi.rs#L14

ice1000 avatar Dec 01 '19 23:12 ice1000