Abstract binding trees (abstract syntax trees plus binders), as a library in Agda - View it on GitHub