Lib.rs

› 关键词 #variables #locally-nameless #alpha-equivalence #syntax-tree #ast

Debruijn索引

  1. 标识符

    自动为抽象语法树推导变量绑定和alpha等价性

    v0.5.0 #syntax-tree #ast #alpha-equivalence #variables #locally-nameless #debruijn-indices #vars

  2. moniker-derive

    为moniker crate推导

    v0.5.0 #debruijn-indices #alpha-equivalence #variables #locally-nameless