Name Binding Repos

mathink/mslambda: Map, Skeleton, Lambda term.

• url: https://github.com/mathink/mslambda
• topics: Lambda Calculus, Name Binding
• license: No license specified

.

bacam/sato-maps-agda

• url: https://github.com/bacam/sato-maps-agda
• topics: Lambda Calculus, Name Binding, Theorem Proving
• future-topics: Agda
• license: No license specified

.

jsiek/abstract-binding-trees: Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

• url: https://github.com/jsiek/abstract-binding-trees
• license: No license specified

.