抽象绑定树（抽象语法树加绑定器），作为Agda中的库Abstract binding trees (abstract syntax trees plus binders), as a library in Agda (2023-05-18, Agda, 340KB, 下载0次)