@hackage / rebound

A variable binding library based on well-scoped de Bruijn indices.