#

alpha-equivalence

Here are 2 public repositories matching this topic...

brendanzab / moniker

Automagical variable binding library for Rust

rust programming-languages unbound derive variable-binding abstract-binding-trees locally-nameless debruijn-indices alpha-equivalence

Updated Oct 4, 2019
Rust

jgrosso / coq-alpha-pearl

Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).

coq programming-languages coq-formalization alpha-equivalence

Updated Jul 24, 2024
Coq

Improve this page

Add a description, image, and links to the alpha-equivalence topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the alpha-equivalence topic, visit your repo's landing page and select "manage topics."