Lib.rs

› 关键词 #variables #debruijn-indices #alpha-equivalence #syntax-tree #ast

本地匿名

  1. 标识符

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

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

  2. moniker-derive

    为moniker包提供推导功能

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