Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

pass 1 just well-scopes everything in co-debruijn and inserts metavariables, so we're not dealing with some random raw syntax that might not even be well scoped during proper elaboration.