locally-nameless

There are 0 repository under locally-nameless topic.

brendanzab / moniker
Automagical variable binding library for Rust
rust programming-languages derive locally-nameless debruijn-indices alpha-equivalence variable-binding abstract-binding-trees unbound
Language:Rust 67
baberrehman / TAPL
Locally nameless implementation of the Holy Types and Programming Languages using TLC!
coq locally-nameless typesystems typetheory
Language:Coq 2
phipsgabler / LambdaCalculus.jl
Representations of lambda terms in a form you can work with
lambda-calculus lambda-expressions de-bruijn-notation locally-nameless
Language:Julia 2