Lib.rs

› 关键词 #variables #debruijn-indices #locally-nameless #syntax-tree #ast

#alpha-equivalence

  1. 别名

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

    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