unbound

unbound

Releases3

Frequency2 days 10 hours

Last Release 9 months ago

Downloads764

Locally nameless representation with automatic capture-avoiding substitution and alpha equivalence

Log in to subscribe

Linked projects

Rust Macros for managing names and binders in abstract syntax trees