brendanzab/moniker

Automagical variable binding library for Rust

语言：Rust · GitHub 星标：66 · Fork：8

话题：abstract-binding-trees · alpha-equivalence · debruijn-indices · derive · locally-nameless · programming-languages · rust · unbound

在 GitHub 上查看原仓库